Section: Software
ECPP
F. Morain has been continuously improving his primality proving
algorithm called ECPP, originally developed in the early 1990s.
Binaries for version 6.4.5 have been available since 2001 on his web page.
Proving the primality of a 512 bit number requires less than a
second on an average PC.
His personal record is around