scientific article; zbMATH DE number 524107
From MaRDI portal
Publication:4284596
zbMath0837.65013MaRDI QIDQ4284596
Publication date: 21 May 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automatic result verificationsparse linear systemsinterval methodsM-matrixband matriceslarge linear systemsverified inclusions
Computational methods for sparse matrices (65F50) Interval and finite arithmetic (65G30) Direct numerical methods for linear systems and matrix inversion (65F05)
Related Items
Highly accurate verified error bounds for Krylov type linear system solvers, Fast verified solutions of linear systems, On verified numerical computations in convex programming, Parallel accurate linear algebra subroutines, High accuracy and interval arithmetic on multicore processors, Computer-assisted enclosure methods for elliptic differential equations, Rigorous verification of feasibility, Calculation of exact bounds for the solution set of linear interval systems