Pages that link to "Item:Q4600709"
From MaRDI portal
The following pages link to On relative errors of floating-point operations: Optimal bounds and applications (Q4600709):
Displayed 11 items.
- On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic (Q891788) (← links)
- A fast parallel high-precision summation algorithm based on AccSumK (Q2074862) (← links)
- Efficient calculation of the joint distribution of order statistics (Q2291342) (← links)
- The relative accuracy of \(\mathtt{(x+y)*(x-y)}\) (Q2293633) (← links)
- Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic” (Q5066604) (← links)
- Primitive Floats in Coq (Q5875413) (← links)
- Floating-point arithmetic (Q6047500) (← links)
- Enabling floating-point arithmetic in the Coq proof assistant (Q6053846) (← links)
- Fast and accurate computation of the Euclidean norm of a vector (Q6072363) (← links)
- Precision-aware deterministic and probabilistic error bounds for floating point summation (Q6093390) (← links)
- Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)