Cayley-Hamilton
From MaRDI portal
Cited in
(19)- A formalization of the Smith normal form in higher-order logic
- 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
- Smith_Normal_Form
- Hermite
- Smooth_Manifolds
- Modular_arithmetic_LLL_and_HNF_algorithms
- A verified algorithm for computing the Smith normal form of a matrix
- Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation
- Gauss-Jordan Algorithm and Its Applications
- QR Decomposition
- Echelon Form
- Hermite Normal Form
- Rank-Nullity Theorem in Linear Algebra
- Smooth Manifolds
This page was built for software: Cayley-Hamilton
