dblp.uni-trier.dewww.uni-trier.de

Siegfried M. Rump

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
28EEN. 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
26EEVladik Kreinovich, Siegfried M. Rump: Towards Optimal Use of Multi-Precision Arithmetic: A Remark. Reliable Computing 12(5): 365-369 (2006)
2005
25EEBruno 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
24EEBruno 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
20EEDavid Dennis, Vladik Kreinovich, Siegfried M. Rump: Intervals and the Origins of Calculus. Reliable Computing 4(2): 191-197 (1998)
19EESiegfried M. Rump: A Note on Epsilon-Inflation. Reliable Computing 4(4): 371-375 (1998)
1997
18EESiegfried M. Rump: Inclusion of Zeros of Nowhere Differentiable n-Dimensional Functions. Reliable Computing 3(1): 5-16 (1997)
1996
17EESiegfried 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)

Coauthor Index

1Götz Alefeld [22] [23]
2Bruno Buchberger [24] [25] [27]
3Dalcidio Moraes Claudio [15]
4David Dennis [20]
5Christian Jansson [24]
6Vladik Kreinovich [20] [26]
7M. Mascagni [10]
8Willard L. Miranker [10]
9Takeshi Ogita [28]
10Shin'ichi Oishi [24] [25] [27] [28]
11Michael Plum [24] [25] [27]
12Jiri Rohn [22] [23]
13Tetsuro Yamamoto [22] [23]
14N. Yamanaka [28]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)