Rigorous roundoff error analysis of probabilistic floating-point computations

DOI10.1007/978-3-030-81688-9_29zbMath1493.65087arXiv2105.13217OpenAlexW3186933279MaRDI QIDQ832297

N. E. Zubov

Publication date: 25 March 2022

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

Mathematics Subject Classification ID

Roundoff error (65G50)

Related Items (1)

Precision-aware deterministic and probabilistic error bounds for floating point summation

Uses Software

• mctoolbox
• z3
• dReal
• FPTuner
• GitHub
• PRECiSA
• RangeLab
• Daisy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A generalization of \(p\)-boxes to affine arithmetic
• Semantics of probabilistic programs
• Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities
• Certification of bounds on expressions involving rounded operators
• Certified Roundoff Error Bounds Using Semidefinite Programming
• An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
• Accuracy and Stability of Numerical Algorithms
• dReal: An SMT Solver for Nonlinear Theories over the Reals
• Probabilistic Error Analysis for Inner Products
• Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
• A New Approach to Probabilistic Rounding Error Analysis
• Rigorous floating-point mixed-precision tuning
• Sound compilation of reals
• Numerical inverting of matrices of high order
• A Guide to Monte Carlo Simulations in Statistical Physics

This page was built for publication: Rigorous roundoff error analysis of probabilistic floating-point computations