This paper is concerned with verification methods for numerical solutions of linear systems. The aim of this paper is to improve Ogita-Rump-Oishi's error estimates by using the error estimates by Rump.
Work:Full page as first author
Authors:Yusuke Morikura, Katsuhisa Ozaki, Shin'ichi Oishi