Pages that link to "Item:Q6108811"

The following pages link to A Formal Proof of the Computation of Hermite Normal Form in a General Setting (Q6108811):

Displaying 7 items.

• Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL (Q333325) (← links)
• A formalization of the Smith normal form in higher-order logic (Q2102950) (← links)
• A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem (Q2362109) (← links)
• A linear space algorithm for computing the hermite normal form (Q2958938) (← links)
• Hermite and Smith normal form algorithms over Dedekind domains (Q4718416) (← links)
• A formal proof of Sasaki-Murao algorithm (Q5195247) (← links)
• Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm (Q5371950) (← links)