A reduced product of absolute and relative error bounds for floating-point analysis

DOI10.1007/978-3-319-99725-4_15MaRDI QIDQ6041174zbMATH OpenOpenAlexFDO

Authors Maxime Jacquemin, Sylvie Putot, Franck Védrine

Publication date 26 May 2023

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-99725-4_15

Mathematics Subject Classification ID

Complexity and performance of numerical algorithms (65Y20)

Recommendations

• scientific article; zbMATH DE number 1543279
• Automatic forward error analysis for floating point algorithms
• Numerical Software with Result Verification
• Rigorous estimation of floating-point round-off errors with symbolic Taylor expansions
• On relative errors of floating-point operations: optimal bounds and applications

Cited in

(5)

• Error bounds on complex floating-point multiplication with an FMA
• scientific article; zbMATH DE number 1543279 (Why is no real title available?)
• Rigorous estimation of floating-point round-off errors with symbolic Taylor expansions
• A Framework for Error-Bounded Approximate Computing, with an Application to Dot Products
• Tight Error Analysis in Fixed-point Arithmetic

This page was built for publication: A reduced product of absolute and relative error bounds for floating-point analysis

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