Primality Proving Save
Covers different types of primality tests, such as quick, classical and general purpose prime filters. Page includes bibliography.
http://primes.utm.edu/prove/proving.html   

Lucas's Primality Test with Factored N-1 Save
Kevin Brown explains the mathematics behind the classical "N-1" method to prove primes.
http://mathpages.com/home/kmath473.htm   

Manindra Agrawal Save
Papers including "PRIMES is in P" by Agrawal, Kayal and Saxena (AKS). It presents a polynomial-time primality proving algorithm for any number.
http://www.cse.iitk.ac.in/users/manin...   

Help build the largest human-edited directory of the web
Suggest a site | Open Directory Project | Become an editor