Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
Crossref DOI link: https://doi.org/10.1007/s00165-016-0383-1
Published Print: 2016-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Aransay, Jesús
Divasón, Jose
License valid from 2016-11-01