<p>Owing to its simplicity and efficiency, the Sherman-Morrison (SM) formula has seen widespread use across various scientific and engineering applications for solving rank-one perturbed linear systems of the form $(A + u v^T) x = b$. Although the formula dates back at least to 1944, its numerical stability properties have remained an open question and continue to be a topic of current research.</p><p>We analyse the backward stability of the SM formula and show, both theoretically and through numerical experiments, that it is unstable in a scenario that is increasingly common in scientific computing. We then address an open question posed by Nick Higham regarding the proportionality of the SM backward error bound to the condition number of A.</p><p>Finally, we integrate fixed-precision iterative refinement (IR) into the SM framework to develop the SM-IR algorithm. We prove that, under reasonable assumptions, IR enhances the backward error of the SM formula and present practical evidence supporting the eventual backward stability of SM-IR. Since SM-IR reuses previously computed decompositions, it retains the efficiency of the original SM algorithm. This is joint work with Yuji Nakatsukasa (University of Oxford).</p>