Software
ECPP, NewPGen, Prime Number Spiral, PrimeForm for Windows, Primo, The Prime Pages' Links, Yves Gallot's Proth.exe
Lucas's Primality Test With Factored N-1
Kevin Brown explains the mathematics behind the classical "N-1" primality proving algorithm.
Primality Proving
Finding Primes and Proving Primality; Quick Tests for Small Numbers and Probable Primes. Yves Gallot's Proth.exe program for Windows is also available from these pages.
Yahoo Groups : PrimeForm
Discussion group for the primality-testing program, PrimeForm. Includes links to the PrimeForm program's home page, contact and download information.
Yves Gallot's Proth Search Page
A list of prime number searches using Yves Gallot's proth.exe program, available to download. Maintained by Ray Ballinger.