Cited in
(9)- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
- Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm
- Cayley-Hamilton
- Echelon Form
- Gauss Jordan Elimination
- QR Decomposition
- Rank Nullity
- Formalization and execution of linear algebra: from theorems to algorithms
This page was built for software: Gauss-Jordan
