PROYECTOS I+D
Proiektua 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
Iraupena 2018(e)ko urtarrila-(a)k 01-(e)tik 2020(e)ko abendua-(a)k 31-(e)ra izan da
(36 months)
euro
52.151,00 EUR
Nazioarteko-arlokoak.
Ikertzaileak
(3) proiektuarekin lotutako argitalpenak
Erakutsi urterokoaren araberaArtikulua
-
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