A Las Vegas algorithm for computing the smith form of a nonsingular integer matrix.

Stavros Birmpilis, George Labahn, Arne Storjohann

Browse the full ISSAC paper archive.