scientific article
From MaRDI portal
Publication:2765620
zbMath0994.65035MaRDI QIDQ2765620
Takeshi Ogita, Shin'ichi Oishi, Yasunori Ushiro
Publication date: 29 September 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
interval arithmeticsparse matrix\(M\)-matricesresult verificationinclusion of the solutioninverse monotone matrices
Computational methods for sparse matrices (65F50) Interval and finite arithmetic (65G30) Iterative numerical methods for linear systems (65F10) Algorithms with automatic result verification (65G20)
Related Items (3)
Fast verified solutions of linear systems ⋮ Super-fast validated solution of linear systems ⋮ A numerical verification method for solutions of singularly perturbed problems with nonlinearity
This page was built for publication:
