Cayley-Hamilton
From MaRDI portal
Software:40277
No author found.
Related Items (3)
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 ⋮ A formalization of the Smith normal form in higher-order logic
This page was built for software: Cayley-Hamilton
