Gauss-Jordan

MaRDI QIDQ40278swMATHFDO

Authors Jose Divasón, Jesús Aransay

Publication date 3 September 2014

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 of the computation of the echelon form of a matrix in Isabelle/HOL
• Formalization and execution of linear algebra: from theorems to algorithms
• Echelon Form
• Cayley-Hamilton
• QR Decomposition
• Gauss Jordan Elimination
• Rank Nullity
• Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm

This page was built for software: Gauss-Jordan