PROYECTOS I+D
Project MTM2017-88804-P ACFA
Álgebra computacional: formalización y aplicaciones a la fiabilidad de redes y al prcesamiento de imágenes biomédicas.
date_range
Duration: from 01 January 2018 to 31 December 2020
(36 months)
euro
52,151.00 EUR
Of National scope.
Researchers
Publications related to the project
Show by type2021
2018
-
A verified LLL algorithm
Archive of Formal Proofs
-
A verified factorization algorithm for integer polynomials with polynomial complexity
Archive of Formal Proofs