Pages that link to "Item:Q3453644"
From MaRDI portal
The following pages link to Formalization and Execution of Linear Algebra: From Theorems to Algorithms (Q3453644):
Displaying 6 items.
- Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems (Q287269) (← links)
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL (Q333325) (← links)
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← 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)
- Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm (Q5371950) (← links)
- (Q5875423) (← links)
