Accurate solution of dense linear systems. II: Algorithms using directed rounding
From MaRDI portal
Recommendations
Cited in
(9)- scientific article; zbMATH DE number 7373353 (Why is no real title available?)
- Computing enclosures for the matrix exponential
- Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems
- Verified numerical computations for large-scale linear systems.
- Enclosing Chebyshev expansions in linear time
- Modified error bounds for approximate solutions of dense linear systems
- A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems
- Correct approximation of IEEE 754 floating-point arithmetic for program verification
- Accurate solution of dense linear systems I: Algorithms in rounding to nearest
This page was built for publication: Accurate solution of dense linear systems. II: Algorithms using directed rounding
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1932771)