WhyMP, a formally verified arbitrary-precision integer library

DOI10.1145/3373207.3404029OpenAlexW3025960451WikidataQ131130513 ScholiaQ131130513MaRDI QIDQ5145995FDOQ5145995

Guillaume Melquiond, Raphaël Rieu-Helft

Publication date: 22 January 2021

Published in: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-02566654v2/file/main.pdf

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cited In (3)

• WhyMP, a formally verified arbitrary-precision integer library
• Motivations for an arbitrary precision interval arithmetic and the MPFI library
• WhyMP

Uses Software

• Why3
• HACL*

This page was built for publication: WhyMP, a formally verified arbitrary-precision integer library

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145995)