Rank Nullity

MaRDI QIDQ40953swMATHFDO

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
• Gauss-Jordan
• Gauss Jordan Elimination
• Formalization and execution of linear algebra: from theorems to algorithms

This page was built for software: Rank Nullity