Jean-Guillaume Dumas B. David Saunders Gilles Villard On Efficient Sparse Integer Matrix Smith Normal Form Computations. 71-99 2001 32 J. Symb. Comput. 1/2 db/journals/jsc/jsc32.html#DumasSV01