Componentwise verified solutions of linear system suited for Java Ozaki, Katsuhisa Ogita, Takeshi Miyajima, Shinya Oishi, Shin’ichi Rump, Siegfried M. 2005 - TUHH Open Research