Method for Verifying Solutions of Sparse Linear Systems with General Coefficients

Takeshi Terao, Katsuhisa Ozaki

This paper proposes a verification method for sparse linear systems $Ax=b$ with general and nonsingular coefficients. A verification method produces the error bound for a given app…