Sylvester's Identity and Multistep Integer-Preserving Gaussian Elimination by Erwin H. Bareiss (source code)

= Sylvester's Identity and Multistep Integer-Preserving Gaussian Elimination by Erwin H. Bareiss
{c}
{tag=Work by Erwin H. Bareiss}
{title2=1968}

Original paper: https://doi.org/10.1090/S0025-5718-1968-0226829-0

Open text: https://www.ams.org/mcom/1968-22-103/S0025-5718-1968-0226829-0/S0025-5718-1968-0226829-0.pdf

Cited passages: section I, pp. 565–567, equations (3), (6) and (8): bordered minors, exact divisibility and one-step integer-preserving update.