Various proofs of Sylvester's (determinant) identity.
matrix-triangularization subresultant polynomial remainder sequence
scientific article; zbMATH DE number 1920715