Cayley-Hamilton
From MaRDI portal
swMATH28563MaRDI QIDQ40277FDOQ40277
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Cayley_Hamilton.html
Cited In (11)
- 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
- Echelon Form
- Gauss-Jordan
- QR Decomposition
- Rank Nullity
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
- Hermite
- Modular_arithmetic_LLL_and_HNF_algorithms
- Smith_Normal_Form
- Smooth_Manifolds
This page was built for software: Cayley-Hamilton
