scientific article; zbMATH DE number 524107

MaRDI QIDQ4284596zbMATH OpenFDO

Authors Siegfried M. Rump

Publication date 21 May 1996

zbMATH Keywords

M-matrixinterval methodssparse linear systemsband matricesautomatic result verificationlarge linear systemsverified inclusions

Mathematics Subject Classification ID

Direct numerical methods for linear systems and matrix inversion (65F05) Computational methods for sparse matrices (65F50) Interval and finite arithmetic (65G30)

Cited in

(16)

• scientific article; zbMATH DE number 3986524 (Why is no real title available?)
• Verified solution of large systems and global optimization problems
• Highly accurate verified error bounds for Krylov type linear system solvers
• scientific article; zbMATH DE number 804617 (Why is no real title available?)
• scientific article; zbMATH DE number 1424515 (Why is no real title available?)
• On verified numerical computations in convex programming
• Remarks on Verified Inclusions for the Solution of Systems of Linear Equations
• Super-fast validated solution of linear systems
• An efficient approach to solve very large dense linear systems with verified computing on clusters.
• Parallel accurate linear algebra subroutines
• Fast verified solutions of linear systems
• scientific article; zbMATH DE number 4115819 (Why is no real title available?)
• Computer-assisted enclosure methods for elliptic differential equations
• Rigorous verification of feasibility
• Calculation of exact bounds for the solution set of linear interval systems
• High accuracy and interval arithmetic on multicore processors

This page was built for publication:

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