Cited in
(11)- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
- Echelon Form
- Gauss-Jordan
- QR Decomposition
- Rank Nullity
- A formalization of the Smith normal form in higher-order logic
- Hermite
- Modular_arithmetic_LLL_and_HNF_algorithms
- Smith_Normal_Form
- Smooth_Manifolds
This page was built for software: Cayley-Hamilton
