Summary.
In this paper, we are concerned with a matrix equation
\( Ax = b \)
where A is an \(n \times n\) real matrix and x and b are n-vectors. Assume that an approximate solution \(\tilde{x}\) is given together with an approximate LU decomposition. We will present fast algorithms for proving nonsingularity of A and for calculating rigorous error bounds for \(\|A^{-1}b-\tilde{x}\|_{\infty}\). The emphasis is on rigour of the bounds. The purpose of this paper is to propose different algorithms, the fastest with \(\frac{2}{3} n^3\) flops computational cost for the verification step, the same as for the LU decomposition. The presented algorithms exclusively use library routines for LU decomposition and for all other matrix and vector operations.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received June 16, 1999 / Revised version received January 25, 2001 / Published online June 20, 2001
Rights and permissions
About this article
Cite this article
Oishi, S., Rump, S. Fast verification of solutions of matrix equations. Numer. Math. 90, 755–773 (2002). https://doi.org/10.1007/s002110100310
Issue Date:
DOI: https://doi.org/10.1007/s002110100310