Author of the publication

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

, and . IJCAR, volume 4130 of Lecture Notes in Computer Science, page 423-437. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers., and . IJCAR, volume 4130 of Lecture Notes in Computer Science, page 423-437. Springer, (2006)Proof Pearl: Revisiting the Mini-rubik in Coq.. TPHOLs, volume 5170 of Lecture Notes in Computer Science, page 310-319. Springer, (2008)Primality Proving with Elliptic Curves., and . TPHOLs, volume 4732 of Lecture Notes in Computer Science, page 319-333. Springer, (2007)A Certified Version of Buchberger's Algorithm.. CADE, volume 1421 of Lecture Notes in Computer Science, page 349-364. Springer, (1998)A Proof Development System for HOL.. HUG, volume 780 of Lecture Notes in Computer Science, page 115-128. Springer, (1993)Reasoning About the Reals: The Marriage of HOL and Maple., and . LPAR, volume 698 of Lecture Notes in Computer Science, page 351-353. Springer, (1993)Distant decimals of $π$., , and . CoRR, (2017)Extracting Text from Proofs., , and . TLCA, volume 902 of Lecture Notes in Computer Science, page 109-123. Springer, (1995)Computable analysis and notions of continuity in Coq., , and . Log. Methods Comput. Sci., (2021)A Flexible Proof Format for SMT: a Proposal., , and . PxTP, page 15-26. (2011)