Pages that link to "Item:Q2362109"
From MaRDI portal
The following pages link to A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem (Q2362109):
Displayed 5 items.
- A formalization of the Smith normal form in higher-order logic (Q2102950) (← links)
- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem (Q2362109) (← links)
- Formalization and Execution of Linear Algebra: From Theorems to Algorithms (Q3453644) (← links)
- On the formalization of Gram-Schmidt process for orthonormalizing a set of vectors (Q6071622) (← links)
- A Formal Proof of the Computation of Hermite Normal Form in a General Setting (Q6108811) (← links)