swMATH28564MaRDI QIDQ40278FDOQ40278
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Gauss_Jordan.html
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 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
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
This page was built for software: Gauss-Jordan
