[seqfan] Automatic Invention of Integer Sequences (with the HR Program, named after Hardy and Ramanujan)
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
[[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.
More information about the SeqFan