Optimal inverse projection of floating-point addition

DOI10.1007/S11075-019-00711-ZMaRDI QIDQ2299211OpenAlexFDO

Authors Diane Gallois-Wong, Sylvie Boldo, Pascal Cuoq

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)

Recommendations

• Multiprecision floating point addition
• Reducing the mean latency of floating-point addition
• Best “ordering” for floating-point addition
• A Distillation Algorithm for Floating-Point Summation
• Unbiased Rounding for HUB Floating-Point Addition
• Optimization modulo the theory of floating-point numbers
• Algorithms for efficient reproducible floating point summation
• A New Distillation Algorithm for Floating-Point Summation
• Accurate and Efficient Floating Point Summation

Cites work

• scientific article; zbMATH DE number 3610766 (Why is no real title available?)
• scientific article; zbMATH DE number 2084728 (Why is no real title available?)
• Computing predecessor and successor in rounding to nearest
• Programming Languages and Systems

Cited in

(3)

• Finding normal binary floating-point factors efficiently
• Correct approximation of IEEE 754 floating-point arithmetic for program verification
• Optimization modulo the theory of floating-point numbers

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

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