3 Einträge gefunden

1. 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
2. A method of obtaining verified solutions for linear systems suited for Java

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

   2006 - TUHH Open Research
3. Componentwise verified solutions of linear system suited for Java

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

   2005 - TUHH Open Research