Jose Divasón

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Parsimony search in small high-dimensional datasets with HYB-PARSIMONY Logic Journal of the IGPL	2026-03-25	Paper
Effective homology of universal covers ACM Communications in Computer Algebra	2024-05-13	Paper
Sensitivity analysis of discrete preference functions using Koszul simplicial complexes Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation	2023-11-03	Paper
A Formal Proof of the Computation of Hermite Normal Form in a General Setting Artificial Intelligence and Symbolic Computation	2023-06-30	Paper
A Kenzo interface for algebraic topology computations in SageMath ACM Communications in Computer Algebra	2023-03-03	Paper
A formalization of the Smith normal form in higher-order logic Journal of Automated Reasoning	2022-12-12	Paper
Correction to: ``A formalization of the Smith normal form in higher-order logic'' Journal of Automated Reasoning	2022-12-12	Paper
Computing invariants for multipersistence via spectral systems and effective homology Journal of Symbolic Computation	2021-02-18	Paper
Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL Journal of Automated Reasoning	2020-11-02	Paper
Computing multipersistence by means of spectral systems Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation	2020-09-10	Paper
A verified implementation of the Berlekamp-Zassenhaus factorization algorithm Journal of Automated Reasoning	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 Journal of Functional Programming	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 Journal of Automated Reasoning	2017-07-06	Paper
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL Formal Aspects of Computing	2016-10-28	Paper
Formalization and execution of linear algebra: from theorems to algorithms Logic-Based Program Synthesis and Transformation	2015-11-30	Paper

Research outcomes over time

This page was built for person: Jose Divasón