PROYECTOS I+D
Proxecto 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 do 01 de xaneiro de 2018 ao 31 de decembro de 2020
(36 meses)
euro
52.151,00 EUR
De ámbito Nacional.
Investigadores/as
Publicacións relacionadas co proxecto (3)
Mostrar por tipoloxía2021
2018
-
A verified LLL algorithm
Archive of Formal Proofs
-
A verified factorization algorithm for integer polynomials with polynomial complexity
Archive of Formal Proofs