Siegfried M. Rump

90 papers B 1C 3Journal 62Unranked 17

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Verified Error Bounds for Matrix Decompositions. SIAM J. Matrix Anal. Appl. Siegfried M. Rump, Takeshi Ogita
2023	J	`jnl`	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. Siegfried M. Rump, Marko Lange
2023	J	`jnl`	IEEE-754 Precision- ACM Trans. Math. Softw. Siegfried M. Rump
2022	J	`jnl`	Convergence results for some piecewise linear solvers. Optim. Lett. Manuel Radons, Siegfried M. Rump
2022	J	`jnl`	Verified Error Bounds for All Eigenvalues and Eigenvectors of a Matrix. SIAM J. Matrix Anal. Appl. Siegfried M. Rump
2021	J	`jnl`	Foreword. J. Comput. Appl. Math. Mitsuhiro T. Nakao, Takeshi Ogita, Siegfried M. Rump
2020	J	`jnl`	Convergence results for some piecewise linear solvers. CoRR Manuel Radons, Siegfried M. Rump
2020	J	`jnl`	Faithfully Rounded Floating-point Computations. ACM Trans. Math. Softw. Marko Lange, Siegfried M. Rump
2020	J	`jnl`	Modified error bounds for approximate solutions of dense linear systems. J. Comput. Appl. Math. Atsushi Minamihata, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
2020	J	`jnl`	Verified bounds for the determinant of real or complex point or interval matrices. J. Comput. Appl. Math. Siegfried M. Rump
2019	C	`conf`	Error Bounds for Computer Arithmetics. ARITH Siegfried M. Rump
2019	J	`jnl`	Sharp estimates for perturbation errors in summations. Math. Comput. Marko Lange, Siegfried M. Rump
2018	J	`jnl`	Mathematically rigorous global optimization in floating-point arithmetic. Optim. Methods Softw. Siegfried M. Rump
2018	J	`jnl`	On relative errors of floating-point operations: Optimal bounds and applications. Math. Comput. Claude-Pierre Jeannerod, Siegfried M. Rump
2018	J	`jnl`	Piecewise smooth system and optimization with piecewise linearization via algorithmic differentiation (NII Shonan Meeting 2018-9). NII Shonan Meet. Rep. Andreas Griewank, Andrea Walther, Koichi Kubota, Siegfried M. Rump
2017	J	`jnl`	IEEE754 Precision- ACM Trans. Math. Softw. Siegfried M. Rump
2016	—	`ed.`	Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers MACIS Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap
2015	J	`jnl`	The Componentwise Structured and Unstructured Backward Errors Can be Arbitrarily Far Apart. SIAM J. Matrix Anal. Appl. Siegfried M. Rump
2014	J	`jnl`	Improved Backward Error Bounds for LU and Cholesky Factorizations. SIAM J. Matrix Anal. Appl. Siegfried M. Rump, Claude-Pierre Jeannerod
2014	J	`jnl`	Improved componentwise verified error bounds for least squares problems and underdetermined linear systems. Numer. Algorithms Siegfried M. Rump
2014	J	`jnl`	Verified Bounds for the p-Norm Condition Number. Reliab. Comput. Siegfried M. Rump
2013	—	`conf`	A consideration on the condition number of extremely ill-conditioned matrices. ECCTD Tetsuo Nishi, Siegfried M. Rump, Shin'ichi Oishi
2013	J	`jnl`	Accurate solution of dense linear systems, Part II: Algorithms using directed rounding. J. Comput. Appl. Math. Siegfried M. Rump
2013	J	`jnl`	Accurate solution of dense linear systems, part I: Algorithms in rounding to nearest. J. Comput. Appl. Math. Siegfried M. Rump
2013	J	`jnl`	Improved Error Bounds for Inner Products in Floating-Point Arithmetic. SIAM J. Matrix Anal. Appl. Claude-Pierre Jeannerod, Siegfried M. Rump
2012	J	`jnl`	Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications. Numer. Algorithms Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi, Siegfried M. Rump
2012	J	`jnl`	Fast algorithms for floating-point interval matrix multiplication. J. Comput. Appl. Math. Katsuhisa Ozaki, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
2012	J	`jnl`	Fast interval matrix multiplication. Numer. Algorithms Siegfried M. Rump
2012	J	`jnl`	Verified Bounds for Least Squares Problems and Underdetermined Linear Systems. SIAM J. Matrix Anal. Appl. Siegfried M. Rump
2010	—	`conf`	Accurate and Reliable Computing in Floating-Point Arithmetic. ICMS Siegfried M. Rump
2010	J	`jnl`	Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems. Reliab. Comput. Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
2010	J	`jnl`	Verification methods: Rigorous results using floating-point arithmetic. Acta Numer. Siegfried M. Rump
2010	B	`conf`	Verification methods: rigorous results using floating-point arithmetic. ISSAC Siegfried M. Rump
2010	J	`jnl`	Verified error bounds for multiple roots of systems of nonlinear equations. Numer. Algorithms Siegfried M. Rump, Stef Graillat
2009	—	`conf`	09471 Abstracts Collection - Computer-assisted proofs - tools, methods and applications. Computer-assisted proofs - tools, methods and applications B. Malcolm Brown, Erich L. Kaltofen, Shin'ichi Oishi, Siegfried M. Rump
2009	—	`conf`	09471 Executive Summary - Computer-assisted proofs - tools, methods and applications. Computer-assisted proofs - tools, methods and applications B. Malcolm Brown, Erich L. Kaltofen, Shin'ichi Oishi, Siegfried M. Rump
2009	—	`ed.`	Computer-assisted proofs - tools, methods and applications, 15.11. - 20.11.2009 Computer-assisted proofs - tools, methods and applications B. Malcolm Brown, Erich L. Kaltofen, Shin'ichi Oishi, Siegfried M. Rump
2009	J	`jnl`	Ultimately Fast Accurate Summation. SIAM J. Sci. Comput. Siegfried M. Rump
2008	J	`jnl`	A parallel algorithm for accurate dot product. Parallel Comput. Naoya Yamanaka, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
2008	J	`jnl`	Accurate Floating-Point Summation Part I: Faithful Rounding. SIAM J. Sci. Comput. Siegfried M. Rump, Takeshi Ogita, Shin'ichi Oishi
2008	J	`jnl`	Accurate Floating-Point Summation Part II: Sign, K-Fold Faithful and Rounding to Nearest. SIAM J. Sci. Comput. Siegfried M. Rump, Takeshi Ogita, Shin'ichi Oishi
2006	—	`ed.`	Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005 Algebraic and Numerical Algorithms and Computer-assisted Proofs Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump
2006	J	`jnl`	Towards Optimal Use of Multi-Precision Arithmetic: A Remark. Reliab. Comput. Vladik Kreinovich, Siegfried M. Rump
2005	—	`conf`	05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs. Algebraic and Numerical Algorithms and Computer-assisted Proofs Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump
2005	—	`conf`	05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. Algebraic and Numerical Algorithms and Computer-assisted Proofs Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump
2005	—	`ch.`	10. Computer-Assisted Proofs and Self-Validating Methods. Accuracy and Reliability in Scientific Computing Siegfried M. Rump
2005	J	`jnl`	Accurate Sum and Dot Product. SIAM J. Sci. Comput. Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
2003	J	`jnl`	On Nishi's Conditions for Ω-Property. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Siegfried M. Rump
2003	J	`jnl`	Structured Perturbations Part I: Normwise Distances. SIAM J. Matrix Anal. Appl. Siegfried M. Rump
2003	J	`jnl`	Structured Perturbations Part II: Componentwise Distances. SIAM J. Matrix Anal. Appl. Siegfried M. Rump
2002	J	`jnl`	Fast verification of solutions of matrix equations. Numerische Mathematik Shin'ichi Oishi, Siegfried M. Rump
2001	J	`jnl`	Conservatism of the circle criterion-solution of a problem posed by A. Megretski. IEEE Trans. Autom. Control. Siegfried M. Rump
2001	—	`ch.`	Fast Verification Algorithms in MATLAB. Symbolic Algebraic Methods and Verification Methods Siegfried M. Rump
2001	—	`ch.`	Introduction: Symbolic Algebraic Methods and Verification Methods. Symbolic Algebraic Methods and Verification Methods Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto
2001	—	`book`	Symbolic Algebraic Methods and Verification Methods Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto
1999	J	`jnl`	Ill-Conditioned Matrices Are Componentwise Near to Singularity. SIAM Rev. Siegfried M. Rump
1998	J	`jnl`	A Note on Epsilon-Inflation. Reliab. Comput. Siegfried M. Rump
1998	—	`conf`	INTLAB - INTerval LABoratory. SCAN Siegfried M. Rump
1998	J	`jnl`	Intervals and the Origins of Calculus. Reliab. Comput. David Dennis, Vladik Kreinovich, Siegfried M. Rump
1997	J	`jnl`	Bounds for the Componentwise Distance to the Nearest Singular Matrix. SIAM J. Matrix Anal. Appl. Siegfried M. Rump
1997	J	`jnl`	Inclusion of Zeros of Nowhere Differentiable n-Dimensional Functions. Reliab. Comput. Siegfried M. Rump
1996	J	`jnl`	Expansion and estimation of the range of nonlinear functions. Math. Comput. Siegfried M. Rump
1996	J	`jnl`	Improved Iteration Schemes for Validation Algorithms for DenseSparse Nonlinear Systems. Computing Siegfried M. Rump
1995	J	`jnl`	Inclusion methods for real and complex functions in one variable. RITA Dalcidio Moraes Claudio, Siegfried M. Rump
1992	J	`jnl`	On the solution of interval linear systems. Computing Siegfried M. Rump
1991	—	`conf`	Accuracy Control and Estimation, Self-Validating Systems and Software Environments for Scientific Computation. Programming Environments for High-Level Scientific Problem Solving Siegfried M. Rump
1991	J	`jnl`	Rigorous solution of linear programming problems with uncertain data. ZOR Methods Model. Oper. Res. Christian Jansson, Siegfried M. Rump
1989	J	`jnl`	Guaranteed inclusions for the complex generalized eigenproblem. Computing Siegfried M. Rump
1987	—	`conf`	Algebraic Computation, Numerical Computation and Verified Inclusions. Trends in Computer Algebra Siegfried M. Rump
1987	J	`jnl`	FORTRAN-SC a study of a FORTRAN extension for engineering/scientific computation with access to ACRITH. Computing J. Hartmut Bleher, Siegfried M. Rump, Ulrich W. Kulisch, M. Metzger, Christian P. Ullrich, W. Walter
1986	J	`jnl`	Sichere Ergebnisse auf Rechenanlagen. Inform. Spektrum Siegfried M. Rump
1985	—	`conf`	ACRITH - High Accuracy Arithmetic Subroutine Library. European Conference on Computer Algebra (2) Siegfried M. Rump
1985	C	`conf`	ACRITH: High-Accuracy Arithmetic an advanced tool for numerical computation. IEEE Symposium on Computer Arithmetic J. Hartmut Bleher, A. E. Roeder, Siegfried M. Rump
1985	—	`conf`	Case Studies for Augmented Floating-Point. Accurate Scientific Computations Willard L. Miranker, Michael Mascagni, Siegfried M. Rump
1985	C	`conf`	Higher Order Computer Arithmetic. IEEE Symposium on Computer Arithmetic Siegfried M. Rump
1985	—	`conf`	New Results on Verified Inclusions. Accurate Scientific Computations Siegfried M. Rump
1985	—	`conf`	Numerical Methods with Automatic Verification. European Conference on Computer Algebra (2) Siegfried M. Rump
1983	J	`jnl`	Least significant bit evaluation of arithmetic expressions in single-precision. Computing Siegfried M. Rump, Harald Böhm
1983	J	`jnl`	Mathematik auf dem Rechner. Elektron. Rechenanlagen Siegfried M. Rump
1982	J	`jnl`	Computer und Rechengenauigkeit. Elektron. Rechenanlagen Siegfried M. Rump
1982	J	`jnl`	E-methods for fixed point equations f(x)=x. Computing Edgar Kaucher, Siegfried M. Rump
1982	—	`conf`	Lösung linearer und nichtlinearer Gleichungssysteme mit maximaler Genauigkeit. Wissenschaftliches Rechnen und Programmiersprachen Siegfried M. Rump
1982	—	`conf`	Rechnervorführung, Pakete für Standardprobleme der Numerik. Wissenschaftliches Rechnen und Programmiersprachen Siegfried M. Rump
1982	—	`conf`	Solving Algebraic Problems with High Accuracy. IMACS World Congress Siegfried M. Rump
1982	J	`jnl`	Solving nonlinear systems with least significant bit accuracy. Computing Siegfried M. Rump
1980	J	`jnl`	Generalized iteration methods for bounds of the solution of fixed point operator-equations. Computing Edgar Kaucher, Siegfried M. Rump
1980	J	`jnl`	Notiz zur Genauigkeit der Arithmetik in Rechenanlagen. Elektron. Rechenanlagen Siegfried M. Rump
1980	J	`jnl`	Zur Rückführung nicht mehr benötigten Speicherplatzes in PASCAL. Elektron. Rechenanlagen Siegfried M. Rump
1977	J	`jnl`	Real root isolation for algebraic polynomials. SIGSAM Bull. Siegfried M. Rump
1976	—	`conf`	On the sign of a real algebraic number. SYMSACC Siegfried M. Rump