2008 |
28 | 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 |
27 | | 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 |
26 | EE | Vladik Kreinovich,
Siegfried M. Rump:
Towards Optimal Use of Multi-Precision Arithmetic: A Remark.
Reliable Computing 12(5): 365-369 (2006) |
2005 |
25 | 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 |
24 | 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 |
23 | | Götz Alefeld,
Jiri Rohn,
Siegfried M. Rump,
Tetsuro Yamamoto:
Symbolic Algebraic Methods and Verification Methods
Springer 2001 |
22 | | 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 |
21 | | Siegfried M. Rump:
Fast Verification Algorithms in MATLAB.
Symbolic Algebraic Methods and Verification Methods 2001: 209-226 |
1998 |
20 | EE | David Dennis,
Vladik Kreinovich,
Siegfried M. Rump:
Intervals and the Origins of Calculus.
Reliable Computing 4(2): 191-197 (1998) |
19 | EE | Siegfried M. Rump:
A Note on Epsilon-Inflation.
Reliable Computing 4(4): 371-375 (1998) |
1997 |
18 | EE | Siegfried M. Rump:
Inclusion of Zeros of Nowhere Differentiable n-Dimensional Functions.
Reliable Computing 3(1): 5-16 (1997) |
1996 |
17 | EE | Siegfried M. Rump:
Improved Iteration Schemes for Validation Algorithms for DenseSparse Nonlinear Systems.
Computing 57(1): 77-84 (1996) |
16 | | Siegfried M. Rump:
Expansion and estimation of the range of nonlinear functions.
Math. Comput. 65(216): 1503-1512 (1996) |
1995 |
15 | | Dalcidio Moraes Claudio,
Siegfried M. Rump:
Inclusion methods for real and complex functions in one variable.
RITA 2(1): 125-136 (1995) |
1991 |
14 | | 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 |
13 | | Siegfried M. Rump:
Algebraic Computation, Numerical Computation and Verified Inclusions.
Trends in Computer Algebra 1987: 177-197 |
1986 |
12 | | Siegfried M. Rump:
Sichere Ergebnisse auf Rechenanlagen.
Informatik Spektrum 9(3): 174-183 (1986) |
1985 |
11 | | Siegfried M. Rump:
New Results on Verified Inclusions.
Accurate Scientific Computations 1985: 31-69 |
10 | | Willard L. Miranker,
M. Mascagni,
Siegfried M. Rump:
Case Studies for Augmented Floating-Point.
Accurate Scientific Computations 1985: 86-118 |
9 | | Siegfried M. Rump:
Numerical Methods with Automatic Verification.
European Conference on Computer Algebra (2) 1985: 318-319 |
8 | | Siegfried M. Rump:
ACRITH - High Accuracy Arithmetic Subroutine Library.
European Conference on Computer Algebra (2) 1985: 320-321 |
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) |