Rank Nullity
From MaRDI portal
Software:40953
No author found.
Related Items (2)
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
This page was built for software: Rank Nullity