Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
scientific article; zbMATH DE number 6645314
scientific article