Lucas-Lehmer Test/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Lucas-Lehmer Test

The Lucas-Lehmer Test was initially designed by François Édouard Anatole Lucas, and later refined by Derrick Henry Lehmer.

This calculation is particularly suited to binary digital computers, since calculation $\pmod {2^q - 1}$ is very convenient.

Thus we have a relatively quick way to determine the primality of Mersenne numbers.