Rank Nullity

MaRDI QIDQ40953swMATHFDO

Authors Jose Divasón, Jesús Aransay

Publication date 16 January 2013

Official website https://www.isa-afp.org/entries/Rank_Nullity_Theorem.html

Cited in

(4)

• A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem
• Formalization and execution of linear algebra: from theorems to algorithms
• Gauss-Jordan
• Gauss Jordan Elimination

This page was built for software: Rank Nullity