WhyMP, a formally verified arbitrary-precision integer library - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Guillaume Melquiond, Raphaël Rieu-Helft. WhyMP, a formally verified arbitrary-precision integer library. In Ioannis Z. Emiris, Lihong Zhi, editors, ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020. pages 352-359, ACM, 2020. [doi]

The following publications are possibly variants of this publication:

WhyMP, a formally verified arbitrary-precision integer libraryGuillaume Melquiond, Raphaël Rieu-Helft. JSC, 115:74-95, 2023. [doi]

How to Get an Efficient yet Verified Arbitrary-Precision Integer LibraryRaphaël Rieu-Helft, Claude Marché, Guillaume Melquiond. vstte 2017: 84-101 [doi]

Development and verification of arbitrary-precision integer arithmetic libraries. (Développement et vérification de bibliothèques d'arithmétique entière en précision arbitraire)Raphaël Rieu-Helft. PhD thesis, University of Paris-Saclay, France, 2020. [doi]

runs on WebDSL