Proving primality after Agrawal-Kayal-Saxena. http://cr.yp.to/papers/aks.ps (2003)

by D Bernstein