PROYECTOS I+D
Projecte 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ó del 01 de de gener de 2018 al 31 de de desembre de 2020
(36 mesos)
euro
52.151,00 EUR
Dàmbit {0}.
Investigadors/es
Publicacions relacionades amb el projecte (3)
Mostra per tipologia2021
2018
-
A verified LLL algorithm
Archive of Formal Proofs
-
A verified factorization algorithm for integer polynomials with polynomial complexity
Archive of Formal Proofs