Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Siegfried M. Rump
2010 – today
- 2013
[j29]Siegfried M. Rump: Accurate solution of dense linear systems, part I: Algorithms in rounding to nearest. J. Computational Applied Mathematics 242: 157-184 (2013)- [j28]Siegfried M. Rump: Accurate solution of dense linear systems, Part II: Algorithms using directed rounding. J. Computational Applied Mathematics 242: 185-212 (2013)
- [j27]Claude-Pierre Jeannerod, Siegfried M. Rump: Improved Error Bounds for Inner Products in Floating-Point Arithmetic. SIAM J. Matrix Analysis Applications 34(2): 338-344 (2013)
- 2012
- [j26]Katsuhisa Ozaki, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi: Fast algorithms for floating-point interval matrix multiplication. J. Computational Applied Mathematics 236(7): 1795-1814 (2012)
- [j25]Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi, Siegfried M. Rump: Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications. Numerical Algorithms 59(1): 95-118 (2012)
- [j24]
- [j23]Siegfried M. Rump: Verified Bounds for Least Squares Problems and Underdetermined Linear Systems. SIAM J. Matrix Analysis Applications 33(1): 130-148 (2012)
- 2010
- [j22]Siegfried M. Rump, Stef Graillat: Verified error bounds for multiple roots of systems of nonlinear equations. Numerical Algorithms 54(3): 359-377 (2010)
- [c16]
- [c15]Siegfried M. Rump: Verification methods: rigorous results using floating-point arithmetic. ISSAC 2010: 3-4
2000 – 2009
- 2009
- [j21]Siegfried M. Rump: Ultimately Fast Accurate Summation. SIAM J. Scientific Computing 31(5): 3466-3502 (2009)
- 2008
- [j20]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)
- [j19]Siegfried M. Rump, Takeshi Ogita, Shin'ichi Oishi: Accurate Floating-Point Summation Part I: Faithful Rounding. SIAM J. Scientific Computing 31(1): 189-224 (2008)
- [j18]Siegfried M. Rump, Takeshi Ogita, Shin'ichi Oishi: Accurate Floating-Point Summation Part II: Sign, K-Fold Faithful and Rounding to Nearest. SIAM J. Scientific Computing 31(2): 1269-1302 (2008)
- 2006
- [j17]Vladik Kreinovich, Siegfried M. Rump: Towards Optimal Use of Multi-Precision Arithmetic: A Remark. Reliable Computing 12(5): 365-369 (2006)
- [e2]Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump (Eds.): Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005. Dagstuhl Seminar Proceedings 05391, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
- 2005
- [j16]Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi: Accurate Sum and Dot Product. SIAM J. Scientific Computing 26(6): 1955-1988 (2005)
- [c14]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
- [c13]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
- 2003
- [j15]Siegfried M. Rump: Structured Perturbations Part I: Normwise Distances. SIAM J. Matrix Analysis Applications 25(1): 1-30 (2003)
- [j14]Siegfried M. Rump: Structured Perturbations Part II: Componentwise Distances. SIAM J. Matrix Analysis Applications 25(1): 31-56 (2003)
- 2001
- [j13]Siegfried M. Rump: Conservatism of the circle criterion-solution of a problem posed by A. Megretski. IEEE Trans. Automat. Contr. 46(10): 1605-1608 (2001)
- [p2]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
- [p1]Siegfried M. Rump: Fast Verification Algorithms in MATLAB. Symbolic Algebraic Methods and Verification Methods 2001: 209-226
- [e1]Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto (Eds.): Symbolic Algebraic Methods and Verification Methods. Springer 2001, ISBN 3-211-83593-8
1990 – 1999
- 1998
- [j12]David Dennis, Vladik Kreinovich, Siegfried M. Rump: Intervals and the Origins of Calculus. Reliable Computing 4(2): 191-197 (1998)
- [j11]
- 1997
- [j10]Siegfried M. Rump: Inclusion of Zeros of Nowhere Differentiable n-Dimensional Functions. Reliable Computing 3(1): 5-16 (1997)
- 1996
- [j9]Siegfried M. Rump: Improved Iteration Schemes for Validation Algorithms for DenseSparse Nonlinear Systems. Computing 57(1): 77-84 (1996)
- [j8]Siegfried M. Rump: Expansion and estimation of the range of nonlinear functions. Math. Comput. 65(216): 1503-1512 (1996)
- 1995
- [j7]Dalcidio Moraes Claudio, Siegfried M. Rump: Inclusion methods for real and complex functions in one variable. RITA 2(1): 125-136 (1995)
- 1991
- [c12]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
1980 – 1989
- 1987
- [c11]Siegfried M. Rump: Algebraic Computation, Numerical Computation and Verified Inclusions. Trends in Computer Algebra 1987: 177-197
- 1986
- [j6]
- 1985
- [c10]
- [c9]Willard L. Miranker, Michael Mascagni, Siegfried M. Rump: Case Studies for Augmented Floating-Point. Accurate Scientific Computations 1985: 86-118
- [c8]Siegfried M. Rump: Higher Order Computer Arithmetic. IEEE Symposium on Computer Arithmetic 1985: 302-308
- [c7]J. Hartmut Bleher, A. E. Roeder, Siegfried M. Rump: ACRITH: High-Accuracy Arithmetic an advanced tool for numerical computation. IEEE Symposium on Computer Arithmetic 1985: 318-321
- [c6]Siegfried M. Rump: Numerical Methods with Automatic Verification. European Conference on Computer Algebra (2) 1985: 318-319
- [c5]Siegfried M. Rump: ACRITH - High Accuracy Arithmetic Subroutine Library. European Conference on Computer Algebra (2) 1985: 320-321
- 1983
- [j5]Siegfried M. Rump, Harald Böhm: Least significant bit evaluation of arithmetic expressions in single-precision. Computing 30(3): 189-199 (1983)
- [j4]
- 1982
- [j3]Siegfried M. Rump: Computer und Rechengenauigkeit. Elektronische Rechenanlagen 24(6): 268-277 (1982)
- [c4]Siegfried M. Rump: Rechnervorführung, Pakete für Standardprobleme der Numerik. Wissenschaftliches Rechnen und Programmiersprachen 1982: 29-50
- [c3]Siegfried M. Rump: Lösung linearer und nichtlinearer Gleichungssysteme mit maximaler Genauigkeit. Wissenschaftliches Rechnen und Programmiersprachen 1982: 147-174
- [c2]Siegfried M. Rump: Solving Algebraic Problems with High Accuracy. IMACS World Congress 1982: 299-300
- 1980
- [j2]Siegfried M. Rump: Zur Rückführung nicht mehr benötigten Speicherplatzes in PASCAL. Elektronische Rechenanlagen 22(2): 55-62 (1980)
- [j1]Siegfried M. Rump: Notiz zur Genauigkeit der Arithmetik in Rechenanlagen. Elektronische Rechenanlagen 22(5): 243-244 (1980)
1970 – 1979
- 1976
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-12 23:39 CEST by the dblp team