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)
Obtuse Triangular Billiards II: One Hundred Degrees Worth of Periodic Trajectories
Richard Evan Schwartz. (2009)