PROYECTOS I+D
Proyecto 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
Duración del 01 de enero de 2018 al 31 de diciembre de 2020
(36 meses)
euro
52.151,00 EUR
De ámbito Nacional.
Investigadores/as
Publicaciones relacionadas con el proyecto (3)
Mostrar por anualidadArtículo
-
Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation
2021
Archive of Formal Proofs
-
A verified LLL algorithm
2018
Archive of Formal Proofs
-
A verified factorization algorithm for integer polynomials with polynomial complexity
2018
Archive of Formal Proofs