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