2006-01-19 Manindra Agrawal, Neeraj Kayal, Nitin Saxena, "PRIMES is in P." math algorithm net http://www.cse.iitk.ac.in/users/manindra/primality_v6.pdf 素数判定が多項式時間。 via Favorite Theorems Recap