Irreducible cyclic presentations of the trivial group. Havas, George; Robertson, Edmund F. — 2003 Experimental Mathematics
Experimenting with infinite groups. I. Baumslag, Gilbert; Cleary, Sean; Havas, George — 2004 Experimental Mathematics
Extended GCD and Hermite normal form algorithms via lattice basis reduction. Havas, George; Majewski, Bohdan S.; Matthews, Keith R. — 1998 Experimental Mathematics