PROYECTOS I+D
Projet 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
Durée de 01 janvier 2018 à 31 décembre 2020
(36 mois)
euro
52 151,00 EUR
Sphère National.
Chercheurs
Publications liées au projet
Montrer par typologie2021
2018
-
A verified LLL algorithm
Archive of Formal Proofs
-
A verified factorization algorithm for integer polynomials with polynomial complexity
Archive of Formal Proofs