Tight Error Analysis in Fixed-Point Arithmetic

DOI10.1007/978-3-030-63461-2_17MaRDI QIDQ6487933zbMATH OpenFDO

Authors Stella Simić, A. Bemporad, Omar Inverso, Mirco Tribastone

Publication date 21 March 2023

Mathematics Subject Classification ID

Error analysis and interval analysis (65G99) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Tight Error Analysis in Fixed-point Arithmetic
• Bit-precise verification of discontinuity errors under fixed-point arithmetic
• Numerical accuracy control in fixed-point arithmetic
• Formalization of fixed-point arithmetic in HOL
• scientific article; zbMATH DE number 3870488

Cited in

(10)

• A Priori Error Analysis and Spring Arithmetic
• Tight Error Analysis in Fixed-point Arithmetic
• scientific article; zbMATH DE number 1206068 (Why is no real title available?)
• Bit-precise verification of discontinuity errors under fixed-point arithmetic
• Fast and efficient bit-level precision tuning
• Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics
• Numerical accuracy control in fixed-point arithmetic
• scientific article; zbMATH DE number 3870488 (Why is no real title available?)
• Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic
• Rigorous error analysis of numerical algorithms via symbolic computations

This page was built for publication: Tight Error Analysis in Fixed-Point Arithmetic

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