Experimental Mathematics publishes formal results and conjectures inspired by experimentation, algorithms and software for mathematical exploration, and related surveys.
Extended GCD and Hermite normal form algorithms via lattice basis reduction
George Havas, et al. (1998)