2 Einträge gefunden

1. 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
2. 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