The following pages link to Jordan Normal Forms (Q40280):
Displayed 7 items.
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL (Q333325) (← links)
- The matrix reproved (verification pearl) (Q1703015) (← links)
- Gröbner bases of modules and Faugère's \(F_4\) algorithm in Isabelle/HOL (Q1798967) (← links)
- Certified quantum computation in Isabelle/HOL (Q2666954) (← links)
- A Verified Efficient Implementation of the LLL Basis Reduction Algorithm (Q5222951) (← links)
- A formal proof of the expressiveness of deep learning (Q5915784) (← links)
- A formal proof of the expressiveness of deep learning (Q5919583) (← links)