Accurate Sum and Dot Product
From MaRDI portal
Publication:5693174
numerical examplesill-conditioned problemsfast algorithmscomparisonsverified error boundsaccurate dot productaccurate summationfloating-point numbers
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
Cited in
(only showing first 100 items - show all)- A fast and efficient algorithm for solving ill-conditioned linear systems
- Very fast and exact accumulation of products
- The exact dot product as basic tool for long interval arithmetic
- Parallel algorithms for rounding exact evaluation of sums of products
- Automatic evaluations of cross-derivatives
- Convergence of Rump's method for computing the Moore-Penrose inverse.
- An algorithm for automatically selecting a suitable verification method for linear systems
- Verified computation of real powers of matrices
- Accurate evaluation algorithm for bivariate polynomial in Bernstein-Bézier form
- Accurate simple zeros of polynomials in floating point arithmetic
- Algorithm 960
- Computing enclosures for the matrix Mittag-Leffler function
- Algorithms for accurate, validated and fast polynomial evaluation
- A note on Dekker's FastTwoSum algorithm
- High-precision computation: mathematical physics and dynamics
- Numerically stable, scalable formulas for parallel and online computation of higher-order multivariate central moments with arbitrary weights
- Iterative refinement for symmetric eigenvalue decomposition
- Schur aggregation for linear systems and determinants
- Reducing floating point error in dot product using the superblock family of algorithms
- Accurate and efficient algorithms for floating point computation
- Inversion of extremely ill-conditioned matrices in floating-point
- On the numerical stability of algorithmic differentiation
- Solvers for the verified solution of parametric linear systems
- Super-fast validated solution of linear systems
- Randomized preprocessing of homogeneous linear systems of equations
- A generalized Kahan-Babuška-summation-algorithm
- Accurate solution of dense linear systems I: Algorithms in rounding to nearest
- Convergence analysis of an algorithm for accurate inverse Cholesky factorization
- Dense linear system: A parallel self-verified solver
- Parametric inverse of severely ill-conditioned Hermitian matrices in signal processing
- On relative errors of floating-point operations: optimal bounds and applications
- High performance verified computing using C-XSC
- Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications
- Accurate quotient-difference algorithm: error analysis, improvements and applications
- Accurate, validated and fast evaluation of elementary symmetric functions and its application
- Accurate evaluation of a polynomial and its derivative in Bernstein form
- Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices
- Adaptive and efficient algorithm for 2D orientation problem
- The Schur aggregation and solving ill conditioned linear systems: the convergence theorem
- Fast enclosure for solutions of Sylvester equations
- Accurate floating-point summation. II: Sign, \(K\)-fold faithful and rounding to nearest
- Accurate and Efficient Floating Point Summation
- A robust algorithm for geometric predicate by error-free determinant transformation
- Fast verified solutions of linear systems
- Accurate evaluation of a polynomial in Chebyshev form
- Ultimately fast accurate summation
- Additive preconditioning and aggregation in matrix computations
- Minimizing synchronizations in sparse iterative solvers for distributed supercomputers
- Iterative refinement for ill-conditioned linear systems
- Accurate and efficient evaluation of Chebyshev tensor product surface
- Accurate polynomial root-finding methods for symmetric tridiagonal matrix eigenproblems
- Three-dimensional element configurations for the discontinuous enrichment method for acoustics
- Linear combination of independent exponential random variables
- A new error-free floating-point summation algorithm
- A method of obtaining verified solutions for linear systems suited for Java
- Verified error bounds for solutions of Sylvester matrix equations
- Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
- Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic
- On design and implementation of a generic number type for real algebraic number computations based on expression dags
- Matrix computations and polynomial root-finding with preprocessing
- Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit
- scientific article; zbMATH DE number 3907664 (Why is no real title available?)
- Extension of accurate numerical algorithms for matrix multiplication based on error-free transformation
- Floating-point arithmetic
- Some issues related to double rounding
- Stable application of Filon-Clenshaw-Curtis rules to singular oscillatory integrals by exponential transformations
- Improvement of error-free splitting for accurate matrix multiplication
- Verified bounds for the determinant of real or complex point or interval matrices
- A fast dot-product algorithm with minimal rounding errors
- Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem
- Computing the expected Markov reward rates with stationarity detection and relative error control
- Verified numerical computations for large-scale linear systems.
- Error‐free transformation of matrix multiplication with a posteriori validation
- Efficient calculations of faithfully rounded \(l_2\)-norms of \(n\)-vectors
- Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic”
- Mixed-precision conjugate gradient algorithm using the groupwise update strategy
- Formal verification of a floating-point expansion renormalization algorithm
- Efficiency of reproducible level 1 BLAS
- Newton projection method as applied to assembly simulation
- Iterative refinement for symmetric eigenvalue decomposition. II. Clustered eigenvalues
- Accurate Horner methods in real and complex floating-point arithmetic
- 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
- Systolic super summation
- A Class of Fast and Accurate Summation Algorithms
- General framework for deriving reproducible Krylov subspace algorithms: BiCGStab case
- Fast and accurate computation of the Euclidean norm of a vector
- Performance and energy consumption of accurate and mixed-precision linear algebra kernels on GPUs
- scientific article; zbMATH DE number 58444 (Why is no real title available?)
- Comparing high-order multivariate AD methods
- Rounding error using low precision approximate random variables
- Correct rounding and a hybrid approach to exact floating-point summation
- On the stability of Filon-Clenshaw-Curtis rules
- Numerical validation of compensated algorithms with stochastic arithmetic
- A fast parallel high-precision summation algorithm based on AccSumK
- Reproducibility strategies for parallel preconditioned conjugate gradient
- \textsf{ORTHOPOLY}: a library for accurate evaluation of series of classical orthogonal polynomials and their derivatives
- Verified error bounds for matrix decompositions
- scientific article; zbMATH DE number 4094781 (Why is no real title available?)
- Infinite-precision inner product and sparse matrix-vector multiplication using Ozaki scheme with Dot2 on manycore processors
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)
