Jose Divasón

Available identifiers

Publication	Date of Publication	Type
Effective homology of universal covers	2024-05-13	Paper
Sensitivity analysis of discrete preference functions using Koszul simplicial complexes	2023-11-03	Paper
A Formal Proof of the Computation of Hermite Normal Form in a General Setting	2023-06-30	Paper
A Kenzo interface for algebraic topology computations in SageMath	2023-03-03	Paper
A formalization of the Smith normal form in higher-order logic	2022-12-12	Paper
Correction to: ``A formalization of the Smith normal form in higher-order logic	2022-12-12	Paper
Computing invariants for multipersistence via spectral systems and effective homology	2021-02-18	Paper
Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL	2020-11-02	Paper
Computing Multipersistence by Means of Spectral Systems	2020-09-10	Paper
A verified implementation of the Berlekamp-Zassenhaus factorization algorithm	2020-04-07	Paper
A formalization of the LLL basis reduction algorithm	2018-10-04	Paper
Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm	2017-10-23	Paper
A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem	2017-07-06	Paper
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL	2016-10-28	Paper
Formalization and Execution of Linear Algebra: From Theorems to Algorithms	2015-11-30	Paper

This page was built for person: Jose Divasón