Pages that link to "Item:Q5739892"
From MaRDI portal
The following pages link to Formalized linear algebra over Elementary Divisor Rings in Coq (Q5739892):
Displayed 6 items.
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL (Q333325) (← links)
- Using abstract stobjs in ACL2 to compute matrix normal forms (Q1687754) (← links)
- Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem (Q2069874) (← links)
- A formalization of Dedekind domains and class groups of global fields (Q2102929) (← links)
- A formalization of the Smith normal form in higher-order logic (Q2102950) (← links)
- A Formal Proof of the Computation of Hermite Normal Form in a General Setting (Q6108811) (← links)