Accurate Sum and Dot Product

DOI10.1137/030601818zbMATH Open1084.65041OpenAlexW1968165559MaRDI QIDQ5693174FDOQ5693174

Authors: Takeshi Ogita, Shin'ichi Oishi, Siegfried M. Rump

Publication date: 22 September 2005

Published in: SIAM Journal on Scientific Computing (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/85216d293b272caf6d8677990d0d636cd56934a4

Recommendations

Ultimately fast accurate summation
Accurate and Efficient Floating Point Summation
Fast and accurate floating point summation with application to computational geometry
Accurate Floating-Point Summation Part I: Faithful Rounding
Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic

numerical examples ill-conditioned problems fast algorithms comparisons verified error bounds accurate dot product accurate summation floating-point numbers

Mathematics Subject Classification ID

Cited In (only showing first 100 items - show all)

Dense linear system: A parallel self-verified solver
Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications
Schur aggregation for linear systems and determinants
Additive preconditioning and aggregation in matrix computations
Title not available (Why is that?)
Computing enclosures for the matrix Mittag-Leffler function
A generalized Kahan-Babuška-summation-algorithm
Three-dimensional element configurations for the discontinuous enrichment method for acoustics
Accurate and efficient evaluation of Chebyshev tensor product surface
On the numerical stability of algorithmic differentiation
Solvers for the verified solution of parametric linear systems
Verified error bounds for solutions of Sylvester matrix equations
The exact dot product as basic tool for long interval arithmetic
Iterative refinement for ill-conditioned linear systems
Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit
Accurate evaluation of a polynomial and its derivative in Bernstein form
Accurate floating-point summation. II: Sign, \(K\)-fold faithful and rounding to nearest
A robust algorithm for geometric predicate by error-free determinant transformation
Ultimately fast accurate summation
Accurate and efficient algorithms for floating point computation
Super-fast validated solution of linear systems
Adaptive and efficient algorithm for 2D orientation problem
Accurate and Efficient Floating Point Summation
Algorithms for accurate, validated and fast polynomial evaluation
Inversion of extremely ill-conditioned matrices in floating-point
Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices
Accurate simple zeros of polynomials in floating point arithmetic
Convergence analysis of an algorithm for accurate inverse Cholesky factorization
Accurate evaluation of a polynomial in Chebyshev form
Minimizing synchronizations in sparse iterative solvers for distributed supercomputers
Linear combination of independent exponential random variables
Verified computation of real powers of matrices
Automatic evaluations of cross-derivatives
A new error-free floating-point summation algorithm
Convergence of Rump's method for computing the Moore-Penrose inverse.
Iterative refinement for symmetric eigenvalue decomposition
Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
An algorithm for automatically selecting a suitable verification method for linear systems
Algorithm 960
Matrix computations and polynomial root-finding with preprocessing
Fast verified solutions of linear systems
A method of obtaining verified solutions for linear systems suited for Java
A note on Dekker's FastTwoSum algorithm
High-precision computation: mathematical physics and dynamics
Randomized preprocessing of homogeneous linear systems of equations
Accurate polynomial root-finding methods for symmetric tridiagonal matrix eigenproblems
Very fast and exact accumulation of products
Numerically stable, scalable formulas for parallel and online computation of higher-order multivariate central moments with arbitrary weights
On relative errors of floating-point operations: optimal bounds and applications
On design and implementation of a generic number type for real algebraic number computations based on expression dags
A fast and efficient algorithm for solving ill-conditioned linear systems
Parametric inverse of severely ill-conditioned Hermitian matrices in signal processing
High performance verified computing using C-XSC
Accurate evaluation algorithm for bivariate polynomial in Bernstein-Bézier form
Accurate solution of dense linear systems I: Algorithms in rounding to nearest
Accurate quotient-difference algorithm: error analysis, improvements and applications
Accurate, validated and fast evaluation of elementary symmetric functions and its application
Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic
The Schur aggregation and solving ill conditioned linear systems: the convergence theorem
Fast enclosure for solutions of Sylvester equations
Parallel algorithms for rounding exact evaluation of sums of products
Reducing floating point error in dot product using the superblock family of algorithms
Some issues related to double rounding
Correct rounding and a hybrid approach to exact floating-point summation
Infinite-precision inner product and sparse matrix-vector multiplication using Ozaki scheme with Dot2 on manycore processors
PACF: a precision-adjustable computational framework for solving singular values
Stable application of Filon-Clenshaw-Curtis rules to singular oscillatory integrals by exponential transformations
Iterative refinement for symmetric eigenvalue decomposition. II. Clustered eigenvalues
Rounding error using low precision approximate random variables
Numerical validation of compensated algorithms with stochastic arithmetic
An accurate algorithm for evaluating rational functions
Verified bounds for the determinant of real or complex point or interval matrices
Floating-point arithmetic
Compensated de Casteljau algorithm in \(K\) times the working precision
Title not available (Why is that?)
\textsf{ORTHOPOLY}: a library for accurate evaluation of series of classical orthogonal polynomials and their derivatives
Error‐free transformation of matrix multiplication with a posteriori validation
Efficiency of reproducible level 1 BLAS
Systolic super summation
Improvement of error-free splitting for accurate matrix multiplication
Accurate evaluation of polynomials in Legendre basis
General framework for deriving reproducible Krylov subspace algorithms: BiCGStab case
The relative formulation of the quadratic programming problem in the aircraft assembly modeling
Fast and accurate computation of the Euclidean norm of a vector
Numerical validation of compensated summation algorithms with stochastic arithmetic
Compensated summation and dot product algorithms for floating-point vectors on parallel architectures: error bounds, implementation and application in the Krylov subspace methods
Title not available (Why is that?)
Comparing high-order multivariate AD methods
Reproducibility strategies for parallel preconditioned conjugate gradient
Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem
Verified numerical computations for large-scale linear systems.
Efficient calculations of faithfully rounded \(l_2\)-norms of \(n\)-vectors
Verified error bounds for matrix decompositions
Computing the Sign of a Dot Product Sum
Selected implementation issues in computation of the Grünwald-Letnikov fractional-order difference by means of embedded system
Convergence analysis of accurate inverse Cholesky factorization
A fast dot-product algorithm with minimal rounding errors
Newton projection method as applied to assembly simulation
On a compensated Ehrlich-Aberth method for the accurate computation of all polynomial roots
Accurate Horner methods in real and complex floating-point arithmetic

Uses Software

Matlab
BLAS
INTLAB
LBNL

This page was built for publication: Accurate Sum and Dot Product

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5693174)