Pages that link to "Item:Q6177466"
From MaRDI portal
The following pages link to Tight Error Analysis in Fixed-point Arithmetic (Q6177466):
Displaying 9 items.
- Rigorous error analysis of numerical algorithms via symbolic computations (Q674759) (← links)
- Formalization of fixed-point arithmetic in HOL (Q816219) (← links)
- Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics (Q845241) (← links)
- A Priori Error Analysis and Spring Arithmetic (Q3567025) (← links)
- (Q4209111) (← links)
- Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic (Q4581373) (← links)
- Bit-precise verification of discontinuity errors under fixed-point arithmetic (Q6045065) (← links)
- Tight Error Analysis in Fixed-Point Arithmetic (Q6487933) (← links)
- A new approach to efficient and secure fixed-point computation (Q6547972) (← links)