Experimental Mathematics publishes formal results and conjectures inspired by experimentation, algorithms and software for mathematical exploration, and related surveys.
Congruence Subgroups of ${\rm PSL}(2,\Z)$ of Genus Less than or Equal to 24
C. J. Cummins, et al. (2003)
Computing Varieties of Representations of Hyperbolic $3$-Manifolds into $\SLfR$
Daryl Cooper, et al. (2006)
An algorithm to calculate the kernel of certain polynomial ring homomorphisms
Fausto Di Biase, et al. (1995)