Cited in
(13)- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem
- Formal analysis of the kinematic Jacobian in screw theory
- Matrix Operations
- Cayley-Hamilton
- Gauss-Jordan
- QR Decomposition
- Rank Nullity
- Quaternions
- A formalization of the Smith normal form in higher-order logic
- Hermite
- Modular_arithmetic_LLL_and_HNF_algorithms
- Smith_Normal_Form
- Formalization of functional variation in HOL Light
This page was built for software: Echelon Form
