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

[Daniel Forgues]

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.

[https://www.aaai.org/Papers/AAAI/2000/AAAI00-085.pdf]

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:
         Forbidden -- You don't have permission to access
/homes/simonco/research/hr/ on this server.
-- 
Daniel Forgues