A method of obtaining verified solutions for linear systems suited for Java Ozaki, Katsuhisa Ogita, Takeshi Miyajima, Shinya Oishi, Shin’ichi Rump, Siegfried M. 2006 - TUHH Open Research
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