Experimental Mathematics publishes formal results and conjectures inspired by experimentation, algorithms and software for mathematical exploration, and related surveys.
An algorithm to calculate the kernel of certain polynomial ring homomorphisms
Fausto Di Biase, et al. (1995)