Optimal inverse projection of floating-point addition

DOI10.1007/s11075-019-00711-zOpenAlexW2944904091MaRDI QIDQ2299211

Pascal Cuoq, Sylvie Boldo, Diane Gallois-Wong

Publication date: 20 February 2020

Published in: Numerical Algorithms (Search for Journal in Brave)

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

zbMATH Keywords

abstract interpretationinverse projectionfloating-point

Mathematics Subject Classification ID

Numerical analysis (65-XX)

Related Items (2)

Correct approximation of IEEE 754 floating-point arithmetic for program verification ⋮ Finding normal binary floating-point factors efficiently

Cites Work

• Unnamed Item
• Unnamed Item
• Computing predecessor and successor in rounding to nearest
• Programming Languages and Systems

This page was built for publication: Optimal inverse projection of floating-point addition