Rank Nullity

swMATH29239MaRDI QIDQ40953FDOQ40953

Author name not available (Why is that?)

Cited In (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