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):
Displaying 17 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)
- Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations (Q2802491) (← links)
- Error bounds on complex floating-point multiplication with an FMA (Q2953212) (← links)
- A priori worst case error bounds for floating-point computations (Q4571469) (← 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)
- Expressive power of ReLU and step networks under floating-point operations (Q6543653) (← links)
- Accurate calculation of Euclidean norms using double-word arithmetic (Q6599993) (← links)
- IEEE-754 precision-\(p\) base-\(\beta\) arithmetic implemented in binary (Q6604140) (← links)
