Accurate calculation of Euclidean norms using double-word arithmetic
From MaRDI portal
Publication:6599993
Cites work
- scientific article; zbMATH DE number 1033192 (Why is no real title available?)
- A New Approach to Probabilistic Rounding Error Analysis
- A floating-point technique for extending the available precision
- Accuracy and Stability of Numerical Algorithms
- Algorithm 1014
- Algorithm 978: Safe scaling in the level 1 BLAS
- Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
- Computer arithmetic and formal proofs. Verifying floating-point algorithms with the Coq system
- Design, implementation and testing of extended and mixed precision BLAS
- Efficient calculations of faithfully rounded \(l_2\)-norms of \(n\)-vectors
- Emulating Round-to-Nearest Ties-to-Zero “Augmented” Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic
- Error estimates for the summation of real numbers with application to floating-point summation
- Faithfully rounded floating-point computations
- Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic”
- Formalization of real analysis: a survey of proof assistants and libraries
- Handbook of floating-point arithmetic
- Implementing complex elementary functions using exception handling
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Matrix Multiplication in Multiword Arithmetic: Error Analysis and Application to GPU Tensor Cores
- Midpoints and Exact Points of Some Algebraic Functions in Floating-Point Arithmetic
- On Ziv's rounding test
- On relative errors of floating-point operations: optimal bounds and applications
- On the robustness of the 2Sum and Fast2Sum algorithms
- Quasi double-precision in floating point addition
- Remark on Algorithm 539
- Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit
- The mathematical-function computation handbook. Programming using the MathCW portable software library
- Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic
- Verified compilation of floating-point computations
This page was built for publication: Accurate calculation of Euclidean norms using double-word arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6599993)
