Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation
by Ralph Bottesch, Jose Divasón and René Thiemann
Jose Divasón
2021
2020
A verified algorithm for computing the Smith normal form of a matrix
by Jose Divasón
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, Maximilian P. L. 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
2015
2014
Gauss-Jordan Algorithm and Its Applications
by Jose Divasón and Jesús Aransay
2013
Rank-Nullity Theorem in Linear Algebra
by Jose Divasón and Jesús Aransay