Jordan Normal Forms
From MaRDI portal
Software:40280
No author found.
Related Items (7)
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL ⋮ Certified quantum computation in Isabelle/HOL ⋮ The matrix reproved (verification pearl) ⋮ A formal proof of the expressiveness of deep learning ⋮ A formal proof of the expressiveness of deep learning ⋮ Gröbner bases of modules and Faugère's \(F_4\) algorithm in Isabelle/HOL ⋮ A Verified Efficient Implementation of the LLL Basis Reduction Algorithm
This page was built for software: Jordan Normal Forms
