A Formal Proof of the Computation of Hermite Normal Form in a General Setting.

Jose Divasn, Jess Aransay

Browse the full AISC paper archive.