Jordan Normal Forms

swMATH28566MaRDI QIDQ40280FDOQ40280

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/Jordan_Normal_Form.html

Cited In (18)

• Gröbner bases of modules and Faugère's \(F_4\) algorithm in Isabelle/HOL
• Algebraic Numbers
• Perron Frobenius
• QR Decomposition
• Verified LLL
• Deep_Learning
• Groebner_Bases
• Group-Ring-Module
• Matrix_Tensor
• Polynomials
• Sturm-Tarski Theorem
• Certified quantum computation in Isabelle/HOL
• Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
• Probabilistic_While
• The matrix reproved (verification pearl)
• A formal proof of the expressiveness of deep learning
• A formal proof of the expressiveness of deep learning
• A verified efficient implementation of the LLL basis reduction algorithm

This page was built for software: Jordan Normal Forms