Aktive Facetten Technische Universität Hamburg 2005 Miyajima, Shinya Ozaki, Katsuhisa Rump, Siegfried M.
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