| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Katsuhisa Ozaki, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi |
Fast algorithms for floating-point interval matrix multiplication.  |
J. Computational Applied Mathematics  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Verified Bounds for Least Squares Problems and Underdetermined Linear Systems. |
SIAM J. Matrix Analysis Applications |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump, Stef Graillat |
Verified error bounds for multiple roots of systems of nonlinear equations. |
Numerical Algorithms |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Accurate and Reliable Computing in Floating-Point Arithmetic. |
ICMS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Verification methods: rigorous results using floating-point arithmetic. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Ultimately Fast Accurate Summation. |
SIAM J. Scientific Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | N. Yamanaka, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi |
A parallel algorithm for accurate dot product. |
Parallel Computing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump, Takeshi Ogita, Shin'ichi Oishi |
Accurate Floating-Point Summation Part I: Faithful Rounding. |
SIAM J. Scientific Computing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladik Kreinovich, Siegfried M. Rump |
Towards Optimal Use of Multi-Precision Arithmetic: A Remark. |
Reliable Computing |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump (eds.) |
Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005 |
Algebraic and Numerical Algorithms and Computer-assisted Proofs |
2006 |
DBLP BibTeX RDF |
|
| 1 | Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi |
Accurate Sum and Dot Product. |
SIAM J. Scientific Computing |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Structured Perturbations Part II: Componentwise Distances. |
SIAM J. Matrix Analysis Applications |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Structured Perturbations Part I: Normwise Distances. |
SIAM J. Matrix Analysis Applications |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto (eds.) |
Symbolic Algebraic Methods and Verification Methods |
|
2001 |
DBLP BibTeX RDF |
|
| 1 | Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto |
Introduction: Symbolic Algebraic Methods and Verification Methods. |
Symbolic Algebraic Methods and Verification Methods |
2001 |
DBLP BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Fast Verification Algorithms in MATLAB. |
Symbolic Algebraic Methods and Verification Methods |
2001 |
DBLP BibTeX RDF |
|
| 1 | Siegfried M. Rump |
A Note on Epsilon-Inflation. |
Reliable Computing |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Dennis, Vladik Kreinovich, Siegfried M. Rump |
Intervals and the Origins of Calculus. |
Reliable Computing |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Inclusion of Zeros of Nowhere Differentiable n-Dimensional Functions. |
Reliable Computing |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Improved Iteration Schemes for Validation Algorithms for DenseSparse Nonlinear Systems. |
Computing |
1996 |
DBLP DOI BibTeX RDF |
Validated computations, interval arithmetic, inflation |
| 1 | Siegfried M. Rump |
Expansion and estimation of the range of nonlinear functions. |
Math. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalcidio Moraes Claudio, Siegfried M. Rump |
Inclusion methods for real and complex functions in one variable. |
RITA |
1995 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Algebraic Computation, Numerical Computation and Verified Inclusions. |
Trends in Computer Algebra |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Sichere Ergebnisse auf Rechenanlagen. |
Informatik Spektrum |
1986 |
DBLP BibTeX RDF |
|
| 1 | Siegfried M. Rump |
New Results on Verified Inclusions. |
Accurate Scientific Computations |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Willard L. Miranker, M. Mascagni, Siegfried M. Rump |
Case Studies for Augmented Floating-Point. |
Accurate Scientific Computations |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Higher Order Computer Arithmetic. |
IEEE Symposium on Computer Arithmetic |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump |
ACRITH - High Accuracy Arithmetic Subroutine Library. |
European Conference on Computer Algebra |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Numerical Methods with Automatic Verification. |
European Conference on Computer Algebra |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried M. Rump, Harald Böhm |
Least significant bit evaluation of arithmetic expressions in single-precision. |
Computing |
1983 |
DBLP DOI BibTeX RDF |
automatic verification of correctness, roundig error, error estimation, Inclusion, high accuracy |
| 1 | Siegfried M. Rump |
Mathematik auf dem Rechner. |
Elektronische Rechenanlagen |
1983 |
DBLP BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Computer und Rechengenauigkeit. |
Elektronische Rechenanlagen |
1982 |
DBLP BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Lösung linearer und nichtlinearer Gleichungssysteme mit maximaler Genauigkeit. |
Wissenschaftliches Rechnen und Programmiersprachen |
1982 |
DBLP BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Rechnervorführung, Pakete für Standardprobleme der Numerik. |
Wissenschaftliches Rechnen und Programmiersprachen |
1982 |
DBLP BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Solving Algebraic Problems with High Accuracy. |
IMACS World Congress |
1982 |
DBLP BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Zur Rückführung nicht mehr benötigten Speicherplatzes in PASCAL. |
Elektronische Rechenanlagen |
1980 |
DBLP BibTeX RDF |
|
| 1 | Siegfried M. Rump |
Notiz zur Genauigkeit der Arithmetik in Rechenanlagen. |
Elektronische Rechenanlagen |
1980 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")