Primality Proving: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: Kevin Brown explains the mathematics behind the classical "N-1" method to prove primes.
Manindra Agrawal: Papers including "PRIMES is in P" by Agrawal, Kayal and Saxena (AKS). It presents a polynomial-time primality proving algorithm for any number.
PRIMES is in P Little FAQ: Answers to some common questions about the proof that testing for primality is a polynomial-time problem. By Anton Stiglic.