Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers

DOI10.1007/978-3-319-63501-9_3zbMath1491.68263OpenAlexW2698432643MaRDI QIDQ5086229

Laurent Théry, Arthur Blot, Jean-Michel Muller

Publication date: 1 July 2022

Published in: Numerical Software Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-63501-9_3

Mathematics Subject Classification ID

Formalization of mathematics in connection with theorem provers (68V20) Numerical algorithms for computer arithmetic, etc. (65Y04)

Uses Software

• Coq

This page was built for publication: Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers