Skip to main content

Research Repository

Advanced Search

The NumbersWithNames Program

Colton, Simon; Dennis, Louise Abigail

Authors

Simon Colton

Louise Abigail Dennis



Abstract

We present the NumbersWithNames program which performs data-mining on the Encyclopedia of Integer Sequences to find interesting conjectures in number theory. The program forms conjectures by finding empirical relationships between a sequence chosen by the user and those in the Encyclopedia. Furthermore, it transforms the chosen sequence into another set of sequences about which conjectures can also be formed. Finally, the program prunes and sorts the conjectures so that themost plausible ones are presented first. We describe here the many improvements to the previous Prolog implementation which have enabled us to provide NumbersWithNames as an online program. We also present some new results from using NumbersWithNames, including details of an automated proof plan of a conjecture NumbersWithNames helped to discover.

Citation

Colton, S., & Dennis, L. A. (2002). The NumbersWithNames Program

Conference Name Seventh International Sumposium on Artificial Intelligence and Mathematics
Publication Date Jan 1, 2002
Deposit Date Nov 24, 2005
Publicly Available Date Oct 9, 2007
Peer Reviewed Peer Reviewed
Public URL http://eprints.nottingham.ac.uk/id/eprint/323
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf
Additional Information AI&M 3-2002

Files


numberswithnames.ps (181 Kb)
Other

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





Downloadable Citations