Tight Error Analysis in Fixed-Point Arithmetic

DOI10.1007/978-3-030-63461-2_17zbMATH Open1517.68083MaRDI QIDQ6487933FDOQ6487933

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

Publication date: 21 March 2023

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

Mathematics Subject Classification ID

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

Cited In (10)

• A Priori Error Analysis and Spring Arithmetic
• Tight Error Analysis in Fixed-point Arithmetic
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)