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 9 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)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← 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)
- Formal derivation of algorithms (Q5461057) (← links)
- (Q5875423) (← links)
- Formal theories for linear algebra (Q5891510) (← links)