3 Einträge gefunden

1. Fast and robust algorithm for geometric predicates using floating-point arithmetic

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

   2006 - TUHH Open Research
2. Computer-assisted proofs I

   1. Rump, Siegfried M.

   2004 - TUHH Open Research
3. Computer-assisted proofs II

   1. Rump, Siegfried M.

   2004 - TUHH Open Research