7 Einträge gefunden

1. Structured perturbations part II: componentwise distances

   1. Rump, Siegfried M.

   2004 - 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
4. Numerical verification method for simultaneous linear equations using accurate dot product calculation algorithm

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

   2004 - TUHH Open Research
5. Accurate sum and dot product with applications

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

   2004 - TUHH Open Research
6. Accurate sum and dot product

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

   2004 - TUHH Open Research
7. Structured perturbations part I: normwise distances

   1. Rump, Siegfried M.

   2004 - TUHH Open Research