Jordan Normal Forms
From MaRDI portal
Software:40280
swMATH28566MaRDI QIDQ40280FDOQ40280
Author name not available (Why is that?)
Cited In (7)
- Gröbner bases of modules and Faugère's \(F_4\) algorithm in Isabelle/HOL
- Certified quantum computation in Isabelle/HOL
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
- A Verified Efficient Implementation of the LLL Basis Reduction Algorithm
- The matrix reproved (verification pearl)
- A formal proof of the expressiveness of deep learning
- A formal proof of the expressiveness of deep learning
This page was built for software: Jordan Normal Forms
