Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
From MaRDI portal
Publication:333325
DOI10.1007/s00165-016-0383-1zbMath1348.68213MaRDI QIDQ333325
Publication date: 28 October 2016
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-016-0383-1
68W30: Symbolic computation and algebraic computation
15A21: Canonical forms, reductions, classification
Related Items
Uses Software