Hermite Dependents

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