Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation by Ralph Bottesch, Jose Divas贸n 馃寪 and Ren茅 Thiemann 馃寪 Mar 12
A verified factorization algorithm for integer polynomials with polynomial complexity by Jose Divas贸n 馃寪, Sebastiaan J. C. Joosten 馃寪, Ren茅 Thiemann 馃寪 and Akihisa Yamada 馃摟 Feb 06
A verified LLL algorithm by Ralph Bottesch, Jose Divas贸n 馃寪, Max W. Haslbeck 馃寪, Sebastiaan J. C. Joosten 馃寪, Ren茅 Thiemann 馃寪 and Akihisa Yamada Feb 02
The Factorization Algorithm of Berlekamp and Zassenhaus by Jose Divas贸n 馃寪, Sebastiaan J. C. Joosten 馃摟, Ren茅 Thiemann 馃寪 and Akihisa Yamada 馃摟 Oct 14
Perron-Frobenius Theorem for Spectral Radius Analysis by Jose Divas贸n 馃寪, Ond艡ej Kun膷ar 馃寪, Ren茅 Thiemann 馃寪 and Akihisa Yamada 馃摟 May 20