Autor/in Miyajima, Shinya Ogita, Takeshi 3 Oishi, Shin’ichi 3 Rump, Siegfried M. 3 Ozaki, Katsuhisa 2
Fast verification for all eigenpairs in symmetric positive definite generalized eigenvalue problems Miyajima, Shinya Ogita, Takeshi Rump, Siegfried M. Oishi, Shin’ichi 2010 - TUHH Open Research
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