Mersenne Numbers: consolidated results
Haworth, G. M., Holmes, S., Hunt, D., Lake, T. and Reddaway, S., (1986) Mersenne Numbers: consolidated results. Technical Report. Guy Haworth (first author), Reading. pp66.
This document provides and comments on the results of the Lucas-Lehmer testing and/or partial factorisation of all Mersenne Numbers Mp = 2^p-1 where p is prime and less than 100,000. Previous computations have either been confirmed or corrected. The LLT computations on the ICL DAP is the first implementation of Fast-Fermat-Number-Transform multiplication in connection with Mersenne Number testing. This paper championed the disciplines of systematically testing the Mp, and of double-sourcing results which were not manifestly correct. Both disciplines were adopted by the later GIMPS initiative, the 'Great Internet Mersenne Prime Search, which was itself one of the first web-based distributed-community projects.
The many references are largely taken from Haworth's 'Mersesnne Numbers' (1987) and detail all previous computations, both manual and electronic.