Siegfried M. Rump Numerical Methods with Automatic Verification. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:318-319 [Conf]
Siegfried M. Rump ACRITH - High Accuracy Arithmetic Subroutine Library. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:320-321 [Conf]
Siegfried M. Rump Rechnervorführung, Pakete für Standardprobleme der Numerik. [Citation Graph (0, 0)][DBLP] Wissenschaftliches Rechnen und Programmiersprachen, 1982, pp:29-50 [Conf]
Siegfried M. Rump Lösung linearer und nichtlinearer Gleichungssysteme mit maximaler Genauigkeit. [Citation Graph (0, 0)][DBLP] Wissenschaftliches Rechnen und Programmiersprachen, 1982, pp:147-174 [Conf]
Siegfried M. Rump Algebraic Computation, Numerical Computation and Verified Inclusions. [Citation Graph (0, 0)][DBLP] Trends in Computer Algebra, 1987, pp:177-197 [Conf]
Siegfried M. Rump Accuracy Control and Estimation, Self-Validating Systems and Software Environments for Scientific Computation. [Citation Graph (0, 0)][DBLP] Programming Environments for High-Level Scientific Problem Solving, 1991, pp:49-56 [Conf]
Siegfried M. Rump Zur Rückführung nicht mehr benötigten Speicherplatzes in PASCAL. [Citation Graph (0, 0)][DBLP] Elektronische Rechenanlagen, 1980, v:22, n:2, pp:55-62 [Journal]
Siegfried M. Rump Notiz zur Genauigkeit der Arithmetik in Rechenanlagen. [Citation Graph (0, 0)][DBLP] Elektronische Rechenanlagen, 1980, v:22, n:5, pp:243-244 [Journal]