9 Einträge gefunden

1. Accurate and reliable computing in floating-point arithmetic

   1. Rump, Siegfried M.

   2010 - TUHH Open Research
2. Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse

   1. Rump, Siegfried M.

   2010 - TUHH Open Research
3. The ratio between the Toeplitz and the unstructured condition number

   1. Rump, Siegfried M.
   2. Sekigawa, Hiroshi

   2010 - TUHH Open Research
4. Fast verification for all eigenpairs in symmetric positive definite generalized eigenvalue problems

   1. Miyajima, Shinya
   2. Ogita, Takeshi
   3. Rump, Siegfried M.
   4. Oishi, Shin’ichi

   2010 - TUHH Open Research
5. Verified computation of a disc containing exactly k roots of a univariate nonlinear function

   1. Rump, Siegfried M.
   2. Oishi, Shin’ichi

   2010 - TUHH Open Research
6. A model problem for global optimization

   1. Rump, Siegfried M.

   2010 - TUHH Open Research
7. Some properties and generation methods of integer matrices with large condition number

   1. Nishi, Tetsuo
   2. Rump, Siegfried M.
   3. Oishi, Shin’ichi

   2010 - TUHH Open Research
8. Fast high precision summation

   1. Rump, Siegfried M.
   2. Ogita, Takeshi
   3. Oishi, Shin’ichi

   2010 - TUHH Open Research
9. Verification methods: rigorous results using floating-point arithmetic

   1. Rump, Siegfried M.

   2010 - TUHH Open Research