Combining tools for optimization and analysis of floating-point computations

DOI10.1007/978-3-319-95582-7_21zbMath1462.65052arXiv1805.02436OpenAlexW2803067192MaRDI QIDQ2024356

Eva Darulova, Zachary Tatlock, Heiko Becker, Pavel Panchekha

Publication date: 4 May 2021

Full work available at URL: https://arxiv.org/abs/1805.02436

Mathematics Subject Classification ID

Error analysis and interval analysis (65G99)

Related Items (1)

Combining tools for optimization and analysis of floating-point computations

Cites Work

• Combining tools for optimization and analysis of floating-point computations
• Certified Roundoff Error Bounds Using Semidefinite Programming
• Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
• Rigorous floating-point mixed-precision tuning
• Sound compilation of reals
• Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods

This page was built for publication: Combining tools for optimization and analysis of floating-point computations