scientific article; zbMATH DE number 524107
From MaRDI portal
Publication:4284596
zbMATH Open0837.65013MaRDI QIDQ4284596FDOQ4284596
Authors: Siegfried M. Rump 
Publication date: 21 May 1996
Title of this publication is not available (Why is that?)
Recommendations
M-matrixinterval methodssparse linear systemsband matricesautomatic result verificationlarge linear systemsverified inclusions
Direct numerical methods for linear systems and matrix inversion (65F05) Computational methods for sparse matrices (65F50) Interval and finite arithmetic (65G30)
Cited In (16)
- Title not available (Why is that?)
- Verified solution of large systems and global optimization problems
- Highly accurate verified error bounds for Krylov type linear system solvers
- Title not available (Why is that?)
- Title not available (Why is that?)
- Remarks on Verified Inclusions for the Solution of Systems of Linear Equations
- On verified numerical computations in convex programming
- 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
- Title not available (Why is that?)
- 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)
