A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers.

Benjamin Grgoire, Laurent Thry

Browse the full CADE paper archive.