Computing a Correct and Tight Rounding Error Bound Using Rounding-to-Nearest

DOI10.1007/978-3-319-54292-8_4zbMath1429.65098OpenAlexW2589077354MaRDI QIDQ5213977

Sylvie Boldo

Publication date: 6 February 2020

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

Full work available at URL: https://hal.inria.fr/hal-01377152/document

Mathematics Subject Classification ID

Roundoff error (65G50) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• Coq
• Flocq

This page was built for publication: Computing a Correct and Tight Rounding Error Bound Using Rounding-to-Nearest