A method of obtaining verified solutions for linear systems suited for Java

DOI10.1016/j.cam.2005.08.034zbMath1108.65019OpenAlexW2148202475MaRDI QIDQ861896

Katsuhisa Ozaki, Takeshi Ogita, Shinya Miyajima, Shin'ichi Oishi, Siegfried Michael Rump

Publication date: 2 February 2007

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cam.2005.08.034

zbMATH Keywords

linear systemnumerical experimentserror boundGaussian eliminationapproximate inverseverified computationdirected rounding

Mathematics Subject Classification ID

Roundoff error (65G50) Direct numerical methods for linear systems and matrix inversion (65F05) Algorithms with automatic result verification (65G20)

Related Items (4)

Fast enclosure for all eigenvalues in generalized eigenvalue problems ⋮ Verified numerical computations for large-scale linear systems. ⋮ An algorithm for automatically selecting a suitable verification method for linear systems ⋮ Fast enclosure for solutions in underdetermined systems

Uses Software

• JAMA
• JAMPACK
• JLAPACK

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fast verification of solutions of matrix equations
• A floating-point technique for extending the available precision
• Accurate Floating-Point Summation Part I: Faithful Rounding
• Accurate Sum and Dot Product

This page was built for publication: A method of obtaining verified solutions for linear systems suited for Java