Siegfried M. Rump
Orcid: 0000-0002-4779-4800Affiliations:
- Hamburg-Harburg University of Technology, Institute for Reliable Computing, Germany
According to our database1,
Siegfried M. Rump
authored at least 84 papers
between 1976 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on andrej.com
On csauthors.net:
Bibliography
2024
2023
ACM Trans. Math. Softw., December, 2023
Fast computation of error bounds for all eigenpairs of a Hermitian and all singular pairs of a rectangular matrix with emphasis on eigen- and singular value clusters.
J. Comput. Appl. Math., December, 2023
2022
SIAM J. Matrix Anal. Appl., 2022
2021
2020
J. Comput. Appl. Math., 2020
J. Comput. Appl. Math., 2020
2019
Proceedings of the 26th IEEE Symposium on Computer Arithmetic, 2019
2018
Piecewise smooth system and optimization with piecewise linearization via algorithmic differentiation (NII Shonan Meeting 2018-9).
NII Shonan Meet. Rep., 2018
Optim. Methods Softw., 2018
Math. Comput., 2018
2017
IEEE754 Precision-<i>k</i> base-β Arithmetic Inherited by Precision-<i>m</i> Base-β Arithmetic for <i>k</i> < <i>m</i>.
ACM Trans. Math. Softw., 2017
2015
The Componentwise Structured and Unstructured Backward Errors Can be Arbitrarily Far Apart.
SIAM J. Matrix Anal. Appl., 2015
2014
SIAM J. Matrix Anal. Appl., 2014
Improved componentwise verified error bounds for least squares problems and underdetermined linear systems.
Numer. Algorithms, 2014
2013
SIAM J. Matrix Anal. Appl., 2013
Accurate solution of dense linear systems, Part II: Algorithms using directed rounding.
J. Comput. Appl. Math., 2013
Accurate solution of dense linear systems, part I: Algorithms in rounding to nearest.
J. Comput. Appl. Math., 2013
Proceedings of the 21st European Conference on Circuit Theory and Design, 2013
2012
SIAM J. Matrix Anal. Appl., 2012
Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications.
Numer. Algorithms, 2012
J. Comput. Appl. Math., 2012
2010
Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems.
Reliab. Comput., 2010
Numer. Algorithms, 2010
Acta Numer., 2010
Proceedings of the Mathematical Software, 2010
2009
09471 Executive Summary - Computer-assisted proofs - tools, methods and applications.
Proceedings of the Computer-assisted proofs - tools, methods and applications, 15.11., 2009
09471 Abstracts Collection - Computer-assisted proofs - tools, methods and applications.
Proceedings of the Computer-assisted proofs - tools, methods and applications, 15.11., 2009
2008
Accurate Floating-Point Summation Part II: Sign, K-Fold Faithful and Rounding to Nearest.
SIAM J. Sci. Comput., 2008
SIAM J. Sci. Comput., 2008
2006
2005
05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs.
Proceedings of the Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005
05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs.
Proceedings of the Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005
Proceedings of the Accuracy and Reliability in Scientific Computing, 2005
2003
SIAM J. Matrix Anal. Appl., 2003
SIAM J. Matrix Anal. Appl., 2003
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003
2002
2001
IEEE Trans. Autom. Control., 2001
Proceedings of the Symbolic Algebraic Methods and Verification Methods, 2001
Proceedings of the Symbolic Algebraic Methods and Verification Methods, 2001
1999
1998
Proceedings of the Developments in Reliable Computing, 1998
1997
SIAM J. Matrix Anal. Appl., January, 1997
Reliab. Comput., 1997
1996
Improved Iteration Schemes for Validation Algorithms for DenseSparse Nonlinear Systems.
Computing, 1996
1995
Inclusion methods for real and complex functions in one variable.
RITA, 1995
1992
1991
ZOR Methods Model. Oper. Res., 1991
Accuracy Control and Estimation, Self-Validating Systems and Software Environments for Scientific Computation.
Proceedings of the Programming Environments for High-Level Scientific Problem Solving, 1991
1989
1987
FORTRAN-SC a study of a FORTRAN extension for engineering/scientific computation with access to ACRITH.
Computing, 1987
Proceedings of the Trends in Computer Algebra, 1987
1986
Sichere Ergebnisse auf Rechenanlagen.
Inform. Spektrum, 1986
1985
Proceedings of the EUROCAL '85, 1985
Proceedings of the 7th IEEE Symposium on Computer Arithmetic, 1985
Proceedings of the 7th IEEE Symposium on Computer Arithmetic, 1985
Proceedings of the Accurate Scientific Computations, 1985
Proceedings of the Accurate Scientific Computations, 1985
1983
Mathematik auf dem Rechner.
Elektron. Rechenanlagen, 1983
Computing, 1983
1982
Solving Algebraic Problems with High Accuracy.
Proceedings of the Parallel and Large-Scale Computers: Performance, 1982
Lösung linearer und nichtlinearer Gleichungssysteme mit maximaler Genauigkeit.
Proceedings of the Wissenschaftliches Rechnen und Programmiersprachen, 1982
Rechnervorführung, Pakete für Standardprobleme der Numerik.
Proceedings of the Wissenschaftliches Rechnen und Programmiersprachen, 1982
1980
Elektron. Rechenanlagen, 1980
Generalized iteration methods for bounds of the solution of fixed point operator-equations.
Computing, 1980
1977
1976
Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976