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

Full work available at URL https://doi.org/10.1007/978-3-030-63461-2_17

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)

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

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)