Computing Publications

Publications Home » Automated Conjecture Making in Nu...

Automated Conjecture Making in Number Theory using HR, Otter and Maple

Simon Colton

Journal Article
Journal of Symbolic Computation
Volume 39
Issue 5
May, 2005
PDF of full publication (234 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.