Rank Nullity

swMATH29239MaRDI QIDQ40953FDOQ40953

Author name not available (Why is that?)

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