Jose Divasón

Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation

by Ralph Bottesch, Jose Divasón and René Thiemann

A verified algorithm for computing the Smith normal form of a matrix

by Jose Divasón

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

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

Hermite Normal Form

by Jose Divasón and Jesús Aransay

QR Decomposition

by Jose Divasón and Jesús Aransay

Echelon Form

by Jose Divasón and Jesús Aransay

Gauss-Jordan Algorithm and Its Applications

by Jose Divasón and Jesús Aransay

Rank-Nullity Theorem in Linear Algebra

by Jose Divasón and Jesús Aransay