PROYECTOS I+D
Projekt 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
Dauer von 01 von Januar von 2018 bis 31 von Dezember von 2020
(36 Monate)
euro
52.151,00 EUR
Geltungsbereich National.
Forscher/innen
Publikationen im Zusammenhang mit dem Projekt (3)
Nach Typologie anzeigen2021
2018
-
A verified LLL algorithm
Archive of Formal Proofs
-
A verified factorization algorithm for integer polynomials with polynomial complexity
Archive of Formal Proofs