  |
Primality Proving - http://primes.utm.edu/prove/proving.html
Covers different types of primality tests, such as quick, classical and general purpose prime filters. Page includes bibliography. |
| |
Lucas's Primality Test with Factored N-1 - http://mathpages.com/home/kmath473.htm
Kevin Brown explains the mathematics behind the classical "N-1" method to prove primes. |
 |
Manindra Agrawal - http://www.cse.iitk.ac.in/users/manindra/
Papers including "PRIMES is in P" by Agrawal, Kayal and Saxena (AKS). It presents a polynomial-time primality proving algorithm for any number. |