Autor/in Rump, Siegfried M. Oishi, Shin’ichi 4 Ogita, Takeshi 2 Miyajima, Shinya 1 Nishi, Tetsuo 1 Sekigawa, Hiroshi 1 alle zeigenListe einklappen
Verified computation of a disc containing exactly k roots of a univariate nonlinear function Rump, Siegfried M. Oishi, Shin’ichi 2010 - TUHH Open Research
Verification methods: rigorous results using floating-point arithmetic Rump, Siegfried M. 2010 - TUHH Open Research
Accurate and reliable computing in floating-point arithmetic Rump, Siegfried M. 2010 - TUHH Open Research
The ratio between the Toeplitz and the unstructured condition number Rump, Siegfried M. Sekigawa, Hiroshi 2010 - TUHH Open Research
Fast high precision summation Rump, Siegfried M. Ogita, Takeshi Oishi, Shin’ichi 2010 - TUHH Open Research
Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse Rump, Siegfried M. 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