riesel

[David Broadhurst]

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

http://vamri.xray.ufl.edu/proths/riesel2.html
http://vamri.xray.ufl.edu/proths/riesel.html

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