Extended GCD and Hermite normal form algorithms via lattice basis reduction. Havas, George; Majewski, Bohdan S.; Matthews, Keith R. — 1998 Experimental Mathematics