[seqfan] Automatic Invention of Integer Sequences (with the HR Program, named after Hardy and Ramanujan)

Daniel Forgues kephalopod at gmail.com
Mon Jun 28 21:17:42 CEST 2010

Among the Google Scholar links that Simon Plouffe posted on Seqfan,
this one is particularly interesting:

Automatic Invention of Integer Sequences, Simon Colton, Alan Bundy,
Toby Walsh, AAAI-00 Proceedings, 2000.


AAAI — Association for the Advancement of Artificial Intelligence

For example:

[[A036436]] tau(n) is a square. (Invented by the HR concept formation program.)
    Unfortunately the link: [/homes/simonco/research/hr/] S. Colton,
HR - Automatic Theory Formation in Pure Mathematics has its access
         Forbidden -- You don't have permission to access
/homes/simonco/research/hr/ on this server.
Daniel Forgues

More information about the SeqFan mailing list