| * | 2008 |
|---|
| 29 | EE | N. Yamanaka,
Takeshi Ogita,
Siegfried M. Rump,
Shin'ichi Oishi:
A parallel algorithm for accurate dot product.
Parallel Computing 34(6-8): 392-410 (2008) |
| 2006 |
|---|
| 28 | | Bruno Buchberger,
Shin'ichi Oishi,
Michael Plum,
Siegfried M. Rump:
Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
| 27 | EE | Vladik Kreinovich,
Siegfried M. Rump:
Towards Optimal Use of Multi-Precision Arithmetic: A Remark.
Reliable Computing 12(5): 365-369 (2006) |
| 2005 |
|---|
| 26 | EE | Bruno Buchberger,
Shin'ichi Oishi,
Michael Plum,
Siegfried M. Rump:
05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs.
Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005 |
| 25 | EE | Bruno Buchberger,
Christian Jansson,
Shin'ichi Oishi,
Michael Plum,
Siegfried M. Rump:
05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs.
Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005 |
| 2001 |
|---|
| 24 | | Götz Alefeld,
Jiri Rohn,
Siegfried M. Rump,
Tetsuro Yamamoto:
Symbolic Algebraic Methods and Verification Methods
Springer 2001 |
| 23 | | Götz Alefeld,
Jiri Rohn,
Siegfried M. Rump,
Tetsuro Yamamoto:
Introduction: Symbolic Algebraic Methods and Verification Methods.
Symbolic Algebraic Methods and Verification Methods 2001: 1-2 |
| 22 | | Siegfried M. Rump:
Fast Verification Algorithms in MATLAB.
Symbolic Algebraic Methods and Verification Methods 2001: 209-226 |
| 1998 |
|---|
| 21 | EE | David Dennis,
Vladik Kreinovich,
Siegfried M. Rump:
Intervals and the Origins of Calculus.
Reliable Computing 4(2): 191-197 (1998) |
| 20 | EE | Siegfried M. Rump:
A Note on Epsilon-Inflation.
Reliable Computing 4(4): 371-375 (1998) |
| 1997 |
|---|
| 19 | EE | Siegfried M. Rump:
Inclusion of Zeros of Nowhere Differentiable n-Dimensional Functions.
Reliable Computing 3(1): 5-16 (1997) |
| 1996 |
|---|
| 18 | EE | Siegfried M. Rump:
Improved Iteration Schemes for Validation Algorithms for DenseSparse Nonlinear Systems.
Computing 57(1): 77-84 (1996) |
| 17 | | Siegfried M. Rump:
Expansion and estimation of the range of nonlinear functions.
Math. Comput. 65(216): 1503-1512 (1996) |
| 1995 |
|---|
| 16 | | Dalcidio Moraes Claudio,
Siegfried M. Rump:
Inclusion methods for real and complex functions in one variable.
RITA 2(1): 125-136 (1995) |
| 1991 |
|---|
| 15 | | Siegfried M. Rump:
Accuracy Control and Estimation, Self-Validating Systems and Software Environments for Scientific Computation.
Programming Environments for High-Level Scientific Problem Solving 1991: 49-56 |
| 1987 |
|---|
| 14 | EE | Siegfried M. Rump:
Algebraic Computation, Numerical Computation and Verified Inclusions.
Trends in Computer Algebra 1987: 177-197 |
| 1986 |
|---|
| 13 | | Siegfried M. Rump:
Sichere Ergebnisse auf Rechenanlagen.
Informatik Spektrum 9(3): 174-183 (1986) |
| 1985 |
|---|
| 12 | | Siegfried M. Rump:
New Results on Verified Inclusions.
Accurate Scientific Computations 1985: 31-69 |
| 11 | | Willard L. Miranker,
M. Mascagni,
Siegfried M. Rump:
Case Studies for Augmented Floating-Point.
Accurate Scientific Computations 1985: 86-118 |
| 10 | | Siegfried M. Rump:
Numerical Methods with Automatic Verification.
European Conference on Computer Algebra (2) 1985: 318-319 |
| 9 | | Siegfried M. Rump:
ACRITH - High Accuracy Arithmetic Subroutine Library.
European Conference on Computer Algebra (2) 1985: 320-321 |
| 1983 |
|---|
| 8 | EE | Siegfried M. Rump,
Harald Böhm:
Least significant bit evaluation of arithmetic expressions in single-precision.
Computing 30(3): 189-199 (1983) |
| 7 | | Siegfried M. Rump:
Mathematik auf dem Rechner.
Elektronische Rechenanlagen 25(6): 126-132 (1983) |
| 1982 |
|---|
| 6 | | Siegfried M. Rump:
Solving Algebraic Problems with High Accuracy.
IMACS World Congress 1982: 299-300 |
| 5 | | Siegfried M. Rump:
Lösung linearer und nichtlinearer Gleichungssysteme mit maximaler Genauigkeit.
Wissenschaftliches Rechnen und Programmiersprachen 1982: 147-174 |
| 4 | | Siegfried M. Rump:
Rechnervorführung, Pakete für Standardprobleme der Numerik.
Wissenschaftliches Rechnen und Programmiersprachen 1982: 29-50 |
| 3 | | Siegfried M. Rump:
Computer und Rechengenauigkeit.
Elektronische Rechenanlagen 24(6): 268-277 (1982) |
| 1980 |
|---|
| 2 | | Siegfried M. Rump:
Zur Rückführung nicht mehr benötigten Speicherplatzes in PASCAL.
Elektronische Rechenanlagen 22(2): 55-62 (1980) |
| 1 | | Siegfried M. Rump:
Notiz zur Genauigkeit der Arithmetik in Rechenanlagen.
Elektronische Rechenanlagen 22(5): 243-244 (1980) |
