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
pp.593–615
May, 2005
Elsevier
PDF of full publication (234 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.