David Broadhurst D.Broadhurst at open.ac.uk
Mon Jan 3 00:33:24 CET 2000

Warut Roonguthai <warut at ksc9.th.com> wrote:

> Chris Nash kindly reminded me that:
> The xth iteration of the process n -> 2n+1 is (n+1)*2^x-1.  Rigorous
> primality proving of numbers of this form is easy and can be done with
> Yves Gallot's Proth or PrimeForm.

Over the holiday, Neil Sloane kindly incorporated the 300 sequences


into EIS.

I think this is the time to acknowledge the huge and valuable work
that Neil does for us and to think how we might reduce it by our
own efforts.

David Broadhurst

More information about the SeqFan mailing list