3 Einträge gefunden

1. New results on verified inclusions

   1. Rump, Siegfried M.

   1985 - TUHH Open Research - frei zugänglich
2. ACRITH - High Accuracy Arithmetic Subroutine Library

   1. Rump, Siegfried M.

   1985 - TUHH Open Research - frei zugänglich
3. Higher order computer arithmetic

   1. Rump, Siegfried M.

   1985 - TUHH Open Research