Optimal inverse projection of floating-point addition

DOI10.1007/S11075-019-00711-ZOpenAlexW2944904091MaRDI QIDQ2299211FDOQ2299211

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

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

zbMATH Keywords

abstract interpretationinverse projectionfloating-point

Mathematics Subject Classification ID

Numerical analysis (65-XX)

Cites Work

• Computing predecessor and successor in rounding to nearest
• Programming Languages and Systems
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

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

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)