An algorithm for automatically selecting a suitable verification method for linear systems

DOI10.1007/s11075-010-9389-6zbMath1209.65051OpenAlexW2051982336MaRDI QIDQ633151

Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi

Publication date: 31 March 2011

Published in: Numerical Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11075-010-9389-6

zbMATH Keywords

linear systemsverified computation

Mathematics Subject Classification ID

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

Related Items (1)

Verified numerical computations for large-scale linear systems.

Uses Software

• LAPACK
• Matlab
• mctoolbox

Cites Work

• Fast verified solutions of linear systems
• Inversion of extremely ill-conditioned matrices in floating-point
• A method of obtaining verified solutions for linear systems suited for Java
• Fast and parallel interval arithmetic
• Fast verification of solutions of matrix equations
• Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations
• Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices
• Fast inclusion of interval matrix multiplication
• Accuracy and Stability of Numerical Algorithms
• Accurate Sum and Dot Product
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An algorithm for automatically selecting a suitable verification method for linear systems