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

Robert Munafo mrob27 at gmail.com
Wed Jun 30 06:21:50 CEST 2010

I imagine Simon Colton's homepage on that topic has moved here:


And if you haven't already found it, the 2002 paper "Automated Theory
Formation for Tutoring Tasks in Pure Mathematics" describes the HR program
fairly extensively. It is at:


- Robert Munafo

On Tue, Jun 29, 2010 at 12:14, Charles Greathouse <
charles.greathouse at case.edu> wrote:

> Some information can be gleaned from the Internet Archive:
> http://web.archive.org/web/*/http://www.dai.ed.ac.uk/homes/simonco/research/*
> Unfortunately the page linked to from the OEIS is not in the archive
> (though it's listed).
> Charles Greathouse
> Analyst/Programmer
> Case Western Reserve University
> On Tue, Jun 29, 2010 at 8:57 AM, N. J. A. Sloane <njas at research.att.com>
> wrote:
> > I have the following address for Simon Colton, sgc at doc.ic.ac.uk,
> > in case someone wants to track down what happened to those links.
> >
> > Neil

 Robert Munafo  --  mrob.com

More information about the SeqFan mailing list