Verified computation of a disc containing exactly k roots of a univariate nonlinear function Rump, Siegfried M. Oishi, Shin’ichi 2010 - TUHH Open Research
Fast high precision summation Rump, Siegfried M. Ogita, Takeshi Oishi, Shin’ichi 2010 - TUHH Open Research
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
Some properties and generation methods of integer matrices with large condition number Nishi, Tetsuo Rump, Siegfried M. Oishi, Shin’ichi 2010 - TUHH Open Research