The following pages link to Jose Divasón (Q333324):
Displaying 12 items.
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL (Q333325) (← links)
- A formalization of the LLL basis reduction algorithm (Q1791154) (← links)
- A verified implementation of the Berlekamp-Zassenhaus factorization algorithm (Q1984794) (← links)
- A formalization of the Smith normal form in higher-order logic (Q2102950) (← links)
- Correction to: ``A formalization of the Smith normal form in higher-order logic'' (Q2102951) (← links)
- Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL (Q2209537) (← links)
- Computing invariants for multipersistence via spectral systems and effective homology (Q2229742) (← 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)
- Formalization and Execution of Linear Algebra: From Theorems to Algorithms (Q3453644) (← links)
- Computing Multipersistence by Means of Spectral Systems (Q5121107) (← links)
- Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm (Q5371950) (← links)
- A Kenzo interface for algebraic topology computations in SageMath (Q5880545) (← links)
