G.: Primality proving with elliptic curves (2007)

by L Théry, Hanrot
Venue:Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science