The NumbersWithNames Program
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. Furthe...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
2002
|
| Online Access: | https://eprints.nottingham.ac.uk/323/ |
| _version_ | 1848790392947867648 |
|---|---|
| author | Colton, Simon Dennis, Louise Abigail |
| author_facet | Colton, Simon Dennis, Louise Abigail |
| author_sort | Colton, Simon |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T18:11:54Z |
| format | Conference or Workshop Item |
| id | nottingham-323 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T18:11:54Z |
| publishDate | 2002 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-3232020-05-04T20:32:20Z https://eprints.nottingham.ac.uk/323/ The NumbersWithNames Program Colton, Simon Dennis, Louise Abigail 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. 2002 Conference or Workshop Item PeerReviewed Colton, Simon and Dennis, Louise Abigail (2002) The NumbersWithNames Program. In: Seventh International Sumposium on Artificial Intelligence and Mathematics, January 2-4, 2002, Fort Lauderdale, Florida, USA. |
| spellingShingle | Colton, Simon Dennis, Louise Abigail The NumbersWithNames Program |
| title | The NumbersWithNames Program |
| title_full | The NumbersWithNames Program |
| title_fullStr | The NumbersWithNames Program |
| title_full_unstemmed | The NumbersWithNames Program |
| title_short | The NumbersWithNames Program |
| title_sort | numberswithnames program |
| url | https://eprints.nottingham.ac.uk/323/ |