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

[Robert Munafo]

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

  http://www.doc.ic.ac.uk/~sgc/research/index.html

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:

  http://www.doc.ic.ac.uk/~sgc/papers/colton_radm02.pdf

- 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