Verification May be Better than Estimation

DOI10.1137/0917065MaRDI QIDQ4891749zbMATH OpenOpenAlexFDO

Authors

Publication date 25 March 1997

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

Full work available at URL https://doi.org/10.1137/0917065

zbMATH Keywords

\(H\)-matricesbackward error analysiscomputational performanceerror boundserror estimationerror verificationITPACKLAPACKlinear systemnumerical libraries

Mathematics Subject Classification ID

Iterative numerical methods for linear systems (65F10) Roundoff error (65G50) Complexity and performance of numerical algorithms (65Y20)

Recommendations

• Tight enclosures of solutions of linear systems
• Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations
• Modified error bounds for approximate solutions of dense linear systems
• Fast verification of solutions of matrix equations
• Verified error bounds for linear systems through the Lanczos process

Cited in

(2)

• Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations
• Modified error bounds for approximate solutions of dense linear systems

Describes a project that uses

Uses Software

• LAPACK

This page was built for publication: Verification May be Better than Estimation

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