Publications - Siegfried M. Rump

• C.-P. Jeannerod and S.M. Rump. On relative errors of floating-point operations: optimal bounds and applications. Preprint, 2014.
• S.M. Rump. Computable Error Bounds for Basic Algorithms in Linear Algebra. submitted for publication, 2014. (PDF, 228071 bytes)
• S.M. Rump. The componentwise structured and unstructured backward error can be arbitrarily far apart. submitted for publication, 2014. (PDF, 220482 bytes)
• S.M. Rump. Verified bounds for the p-norm condition number. Reliable Computing, Vol. 20, pp. 45-52, 2014. (PDF, 280762 bytes)
• S.M. Rump. Verified sharp bounds for the real gamma function over the entire floating-point range. Nonlinear Theory and Its Applications (NOLTA), IEICE, Vol.E5-N,No.3, July, 2014. (PDF, 430728 bytes)
• S.M. Rump and C.-P. Jeannerod. Improved backward error bounds for LU and Cholesky factorizations. SIAM. J. Matrix Anal. & Appl. (SIMAX), 35(2):684–698, 2014. (PDF, 247757 bytes) (doi:10.1137/130927231)
• S.M. Rump and M. Lange. On the Definition of Unit Roundoff. to appear in BIT, 2014. (PDF, 102188 bytes)
• S.M. Rump and Kashiwagi M. Implementation and improvements of affine arithmetic. Nonlinear Theory and Its Applications, IEICE,, 2(3):1101–1119, 2014. (PDF, 2135727 bytes)
• S.M. Rump, F. Bünger, and C.-P. Jeannerod. Improved Error Bounds for Floating-Point Products and Horner's Scheme. submitted for publication, 2014. (PDF, 149930 bytes)
• C.-P. Jeannerod and S.M. Rump. Improved error bounds for inner products in floating-point artihmetic. SIAM. J. Matrix Anal. & Appl. (SIMAX), 34(2):338–344, 2013. (PDF, 303823 bytes)
• S.M. Rump. Accurate solution of dense linear systems, Part I: Algorithms in rounding to nearest. Journal of Computational and Applied Mathematics (JCAM), 242:157–184, 2013. (PDF, 905982 bytes)
• S.M. Rump. Accurate solution of dense linear systems, Part II: Algorithms using directed rounding. Journal of Computational and Applied Mathematics (JCAM), 242:185–212, 2013. (PDF, 871530 bytes)
• S.M. Rump. Improved componentwise verified error bounds for least squares problems and underdetermined linear systems. Numerical Algorithms, 66:309–322, 2013. (PDF, 301797 bytes)
• S.M. Rump, T. Ogita, and S. Oishi. Interval Arithmetic without Changing the Rounding Mode. submitted for publication, 2013.
• K. Ozaki, T. Ogita, S.M. Rump, and S. Oishi. Fast algorithms for floating-point interval matrix multiplication. Journal of Computational and Applied Mathematics, 236(7):1795–1814, 2012. doi:10.1016/j.cam.2011.10.011, http://www.sciencedirect.com/science/article/pii/S0377042711005449.
• S.M. Rump. Error estimation of floating-point summation and dot product. BIT Numerical Mathematics, 52(1):201–220, 2012. (PDF, 203796 bytes)
• S.M. Rump. Fast Interval Matrix Multiplication. Numerical Algorithms, 61(1):1–34, 2012. (PDF, 228011 bytes)
• S.M. Rump. Interval Arithmetic Over Finitely Many Endpoints. BIT Numerical Mathematics, 52(4):1059–1075, 2012. (PDF, 193054 bytes)
• S.M. Rump. Verified Bounds for Least Squares Problems and Underdetermined Linear Systems. SIAM J. Matrix Anal. Appl. (SIMAX), 33(1):130–148, 2012. (PDF, 186109 bytes)
• S. Miyajima, T. Ogita, S.M. Rump, and S. Oishi. Fast Verification of All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problem. Reliable Computing, 14:24–45, 2011.
• T. Nishi, S.M. Rump, and S. Oishi. On the generation of very ill-conditioned integer matrices. Nonlinear Theory and Its Applications, IEICE, 2(2):226–245, 2011. (PDF, 857383 bytes)
• K. Ozaki, T. Ogita, S. Oishi, and S.M. Rump. Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications. Numerical Algorithms, 59(1), 2011. (PDF, 781887 bytes)
• S.M. Rump. Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse. BIT Numerical Mathematics, 51(2):367–384, 2011. (PDF, 154280 bytes)
• B. Kearfott, M. Nakao, S. Neumaier, A. Rump, S.P. Shary, and P. Van Hentenryck. Standardized notation in interval analysis. Reliable Computing, 15(1):7–13, 2010. (PDF, 243834 bytes)
• S. Miyajima, T. Ogita, S.M. Rump, and S. Oishi. Fast Verification of All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problem. Reliable Computing, 14:24–45, 2010.
• T. Nishi, S.M. Rump, and S. Oishi. Some properties and generation methods of integer matrices with large condition number. IEICE technical Report, Circuits and Systems, 110(86):13–18, 2010. http://ci.nii.ac.jp/naid/110007890169.
• S.M. Rump. A Model Problem for Global Optimization. In Nonlinear Theory and Its Applications (NOLTA), volume 1, pages 1–6. IEICE, 2010. (PDF, 287861 bytes)
• S.M. Rump. Accurate and Reliable Computing in Floating-Point Arithmetic. In K. Fukuda et al., editor, Proceedings of the Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010 (ICMS 2010), volume 6327 of Lecture Notes in Computer Science (LNCS), pages 105–108, 2010. http://www.springerlink.com/content/b201872815051165/.
• S.M. Rump. Verification methods: Rigorous results using floating-point arithmetic. Acta Numerica, 19:287–449, 2010. (PDF, 3679347 bytes)
• S.M. Rump and S. Graillat. Verified error bounds for multiple roots of systems of nonlinear equations. Numerical Algorithms, 54(3):359–377, 2010. DOI 10.1007/s11075-009-9339-3. (PDF, 214093 bytes)
• S.M. Rump, T. Ogita, and S. Oishi. Fast high precision summation. Nonlinear Theory and Its Applications (NOLTA), IEICE, 1(1), 2010. [received the "NOLTA Best Paper Award" by the IEICE Engineering Sciences Society]. (PDF, 339422 bytes)
• A. Berman, Ch. Krattenthaler, S.M. Rump, I. Spitkovsky, and F. Zhang. Short biography of Shmuel Friedland for his special LAA volume. Linear Algebra and its Applications (LAA), 431(12):2277–2284, 2009. (PDF, 232315 bytes)
• S. Oishi, T. Ogita, and S. M. Rump. Iterative Refinement for Ill-conditioned Linear Equations. Japan J. Indust. Appl. Math., 26(2):465–476, 2009.
• K. Ozaki, T. Ogita, S.M. Rump, and S. Oishi. Adaptive and Efficient Algorithm for 2D Orientation Problem. Japan J. Indust. Appl. Math., 26:215–231, 2009. (PDF, 570424 bytes)
• S.M. Rump. Error-Free Transformations and ill-conditioned problems. In Proceedings of the ``International workshop on verified computations and related topics'', University of Karlsruhe, March 7-10, 2009. (PDF, 185720 bytes)
• S.M. Rump. Inversion of extremely ill-conditioned matrices in floating-point. Japan J. Indust. Appl. Math. (JJIAM), 26:249–277, 2009. (PDF, 661145 bytes)
• S.M. Rump. Ultimately Fast Accurate Summation. SIAM Journal on Scientific Computing (SISC), 31(5):3466–3502, 2009. (PDF, 688702 bytes)
• S. M. Rump and S. Oishi. Verified Error Bounds for Double Roots of Nonlinear Equations. In 2009 International Symposium on Nonlinear Theory and its Applications, NOLTA'09, Sapporo, Japan, 2009. (PDF, 58212 bytes)
• S.M. Rump and S. Oishi. Verified computation of a disc containing exactly k roots of a univariate nonlinear function. Nonlinear Theory and Its Applications (NOLTA), IEICE, 1(1):1–8, 2009. (PDF, 108220 bytes)
• S.M. Rump and H. Sekigawa. The ratio between the Toeplitz and the unstructured condition number. Operator Theory: Advances and Applications, 199:397–419, 2009. (PDF, 248417 bytes)
• S.M. Rump, P. Zimmermann, S. Boldo, and G. Melquiond. Computing predecessor and successor in rounding to nearest. BIT Numerical Mathematics, 49(2):419–431, 2009. (PDF, 165101 bytes)
• S.M. Rump, P. Zimmermann, S. Boldo, and G. Melquiond. Interval operations in rounding to nearest. accepted for publication in BIT, 2009. (PDF, 236067 bytes)
• S. Graillat, J.-L. Lamotte, S.M. Rump, and S. Markov. Interval arithmetic on the Cell processor. In IMACS— 13th International Symposium on Scientific Computing Computer Arithmetic and Verified Numerical Computations, El Paso, Texas, USA, Sep. 29 – Oct. 3, 2008, pages 54–54, 2008. (PDF, 670578 bytes)
• T. Nishi, T. Ogita, S. Oishi, and S. M. Rump. A Method for the Generation of a Class of Ill-conditioned Matrices. In 2008 International Symposium on Nonlinear Theory and its Applications, NOLTA'08, Budapest, Hungary, September 7-10, pages 53–56, 2008. (PDF, 92508 bytes)
• T. Ogita, S.M. Rump, and S. Oishi. Verification of positive definiteness for large sparse matrices, 2008.
• S. Oishi, T. Ogita, and S. M. Rump. Iterative Refinement for Ill-conditioned Linear Equations. In 2008 International Symposium on Nonlinear Theory and its Applications, NOLTA'08, Budapest, Hungary, September 7-10, pages 516–519, 2008. (PDF, 73572 bytes)
• K. Ozaki, T. Ogita, S. M. Rump, and S. Oishi. Accurate matrix multiplication by using level 3 BLAS operation. In Proceedings of the 2008 International Symposium on Nonlinear Theory and its Applications, NOLTA'08, Budapest, Hungary, pages 508–511. IEICE, 2008. (PDF, 109962 bytes)
• S.M. Rump, T. Ogita, and S. Oishi. Accurate floating-point summation part I: Faithful rounding. SIAM J. Sci. Comput., 31(1):189–224, 2008. (PDF, 457457 bytes)
• S.M. Rump, T. Ogita, and S. Oishi. Accurate floating-point summation part II: Sign, K-fold faithful and rounding to nearest. Siam J. Sci. Comput., 31(2):1269–1302, 2008. (PDF, 377632 bytes)
• N. Yamanaka, T. Ogita, S.M. Rump, and S. Oishi. A Parallel Algorithm for Accurate Dot Product. Parallel Computing, 34(6–8):392–410, 2008. (PDF, 347400 bytes)
• S. Oishi, K. Tanabe, T. Ogita, and S.M. Rump. Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices. J. Comput. Appl. Math., 205(1):533–544, 2007. (PDF, 126985 bytes)
• K. Ozaki, T. Ogita, S. M. Rump, and S. Oishi. Accurate matrix multiplication with multiple floating-point numbers. In Proceedings of 2007 International Symposium on Nonlinear Theory and its Applications, Vancouver, Canada, September 16-19, 2007. (PDF, 63791 bytes)
• S.M. Rump and P. Zimmermann. Interval operations in rounding to nearest. submitted for publication, 2007. (PDF, 177784 bytes)
• G. Alefeld, M.T. Nakao, and S.M. Rump. Preface. Journal of Computational and Applied Mathematics (JCAM), 199(2):197–198, 2006. Special issue on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2004).
• V. Kreinovich and S.M. Rump. Towards Optimal Use of Multi-Precision Arithmetic: A Remark. Reliable Computing, 12:365–369, 2006. (PDF, 135442 bytes)
• K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, and S.M. Rump. A method of obtaining verified solutions for linear systems suited for Java. Journal of Computational and Applied Mathematics (JCAM), 199(2):337–344, 2006. Special issue on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2004). (PDF, 134652 bytes)
• K. Ozaki, T. Ogita, S.M. Rump, and S. Oishi. Fast and robust algorithm for geometric predicates using floating-point arithmetic. Trans. Japan Soc. Ind. Appl. Math. (JSIAM), 4(16):553–562, 2006. (in Japanese). (PDF, 113795 bytes)
• S.M. Rump. Eigenvalues, pseudospectrum and structured perturbations. Linear Algebra and its Applications (LAA), 413:567–593, 2006. (PDF, 324017 bytes)
• S.M. Rump. Error bounds for extremely ill-conditioned problems. In Proceedings of 2006 International Symposium on Nonlinear Theory and its Applications, Bologna, Italy, September 11-14, 2006. (PDF, 109523 bytes)
• S.M. Rump. INTLAB - Interval Laboratory, the Matlab toolbox for verified computations, Version 5.3, 2006.
• S.M. Rump. Verification of Positive Definiteness. BIT Numerical Mathematics, 46:433–452, 2006. (PDF, 248004 bytes)
• S.M. Rump and T. Ogita. Super-fast validated solution of linear systems. Journal of Computational and Applied Mathematics (JCAM), 199(2):199–206, 2006. Special issue on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2004). (PDF, 167127 bytes)
• S. Friedland, D. Hershkowitz, and S.M. Rump. Positive entries of stable matrices. Electronic Journal of Linear Algebra (ELA), 12:17–24, 2005. (PDF, 154972 bytes)
• A. Hailer and S.M. Rump. Evaluation of Hedge Effectiveness Tests. Journal of Derivatives Accounting (JDA), 2(1):31–52, 2005. (PDF, 497918 bytes)
• A.C. Hailer and S.M. Rump. Evaluierung von Hedge-Effektivitätstests. Zeitschrift für das gesamte Kreditwesen, 58(20):1089–1097, 2005.
• T. Ogita, S.M. Rump, and S. Oishi. Verified Solutions of Sparse Linear Systems by LU factorization, 2005. (PDF, 120775 bytes)
• T. Ogita, S.M. Rump, and S. Oishi. Accurate sum and dot product. SIAM Journal on Scientific Computing (SISC), 26(6):1955–1988, 2005. (PDF, 373558 bytes)
• T. Ogita, S.M. Rump, and S. Oishi. Verified solution of linear systems without directed rounding. Technical Report 2005-04, Advanced Research Institute for Science and Engineering, Waseda University, Tokyo, Japan, 2005. (PDF, 194452 bytes)
• T. Ohta, T. Ogita, S.M. Rump, and S. Oishi. A Method of Verified Numerical Computation for Ill-conditioned Linear System of Equations. Journal of JSIAM, 15(3):269–287, 2005.
• T. Ohta, T. Ogita, S.M. Rump, and S. Oishi. Numerical Method for Dense Linear Systems with Arbitrariliy Ill-conditioned Matrices. In Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications, Bruge, Belgium, October 18–21, pages 745–748, 2005. (PDF, 83911 bytes)
• T. Ohta, T. Ogita, S.M. Rump, and S. Oishi. Numerical Verification Method for Arbitrarily Ill-conditioned Linear Systems. Transactions on the Japan Society for Industrial and Applied Mathematics (Trans. JSIAM), 15(3):269–287, 2005. [received the "Best Paper Award 2005 of Japanese SIAM"]. (PDF, 118303 bytes)
• T. Ota, S. Oishi, T. Ogita, and S.M. Rump. Verified Solutions of Extremely Ill-conditioned Linear Systems. Nihon Shimyureshon Gakkai Taikai Happyo Ronbunshu, 24:225–228, 2005. http://sciencelinks.jp/j-east/article/200618/000020061806A0555492.php.
• K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, and S.M. Rump. Componentwise Verified Solutions of Linear System Suited for Java. In Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications, Bruge, Belgium, October 18–21, pages 749–752, 2005. (PDF, 86543 bytes)
• S.M. Rump. Computer-assisted proofs and Self-Validating Methods. In B. Einarsson, editor, Handbook on Accuracy and Reliability in Scientific Computation, pages 195–240. SIAM, 2005. (PDF, 4690342 bytes)
• S.M. Rump. High Precision Evaluation of Nonlinear Functions. In Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications, Bruge, Belgium, October 18–21, pages 733–736, 2005. (PDF, 119670 bytes)
• S.M. Rump. INTLAB - Interval Laboratory, a Matlab toolbox for verified computations, Version 5.1, 2005.
• T. Ogita, S.M. Rump, and S. Oishi. Accurate Sum and Dot Product with Applications. Proceedings of 2004 IEEE International Symposium on Computer Aided Control Systems Design, Taipei, pages 152–155, 2004. (PDF, 173796 bytes)
• T. Ota, S. Oishi, T. Ogita, and S.M. Rump. Numerical Verification Method for Simultaneous Linear Equations using Accurate Dot Product Calculation Algorithm. Nihon Shimyureshon Gakkai Taikai Happyo Ronbunshu, 23:345–348, 2004. http://sciencelinks.jp/j-east/article/200418/000020041804A0507036.php.
• S.M. Rump. Computer-Assisted Proofs I. Bulletin of the Japan Society for Industrial and Applied Mathematics (Bull. JSIAM), 14(3):2–11, 2004. translated by T. Ogita. (PDF, 349442 bytes)
• S.M. Rump. Computer-Assisted Proofs II. Bulletin of the Japan Society for Industrial and Applied Mathematics (Bull. JSIAM), 14(4):44–57, 2004. translated by T. Ogita. (PDF, 154738 bytes)
• S.M. Rump and J. Zemke. On eigenvector bounds. BIT Numerical Mathematics, 43:823–837, 2004. (PDF, 194763 bytes)
• A.C. Hailer and S.M. Rump. Hedge-Effektivität: Lösung des Problems der kleinen Zahlen. (Hedge Accounting nach FAS 133 bzw. IAS 39. Zeitschrift für das gesamte Kreditwesen, 56(2003)(11):599–603, 2003.
• S.M. Rump. Algorithms for Computing Validated Results. In J. Grabmeier, E. Kaltofen, and V. Weispfennig, editors, Computer Algebra Handbook, chapter 2.12.2, pages 110–112. Springer, 2003. (PDF, 125627 bytes)
• S.M. Rump. On Nishi's conditions for the Omega-property. IEICE Trans. Fundamentals Communications Electronics Information and Systems, E86(9):2357–2359, 2003. (PDF, 134441 bytes)
• S.M. Rump. On P-Matrices. Linear Algebra and its Applications (LAA), 363:237–250, 2003. (PDF, 202117 bytes)
• S.M. Rump. Optimal scaling for p-norms and componentwise distance to singularity. IMA Journal of Numerical Analysis (IMAJNA), 23:1–9, 2003. (PDF, 170682 bytes)
• S.M. Rump. Perron-Frobenius Theory for Complex Matrices. Linear Algebra and its Applications (LAA), 363:251–273, 2003. (PDF, 247135 bytes)
• S.M. Rump. Structured Perturbations Part I: Normwise Distances. SIAM J. Matrix Anal. Appl. (SIMAX), 25(1):1–30, 2003. (PDF, 275615 bytes)
• S.M. Rump. Structured Perturbations Part II: Componentwise Distances. SIAM J. Matrix Anal. Appl. (SIMAX), 25(1):31–56, 2003. (PDF, 231299 bytes)
• S.M. Rump. Ten methods to bound multiple roots of polynomials. J. Comput. Appl. Math. (JCAM), 156:403–432, 2003. (PDF, 332813 bytes)
• S. Oishi and S.M. Rump. Fast verification of solutions of matrix equations. Numer. Math., 90(4):755–773, 2002. (PDF, 226356 bytes)
• S.M. Rump. Variational characterizations of the sign-real and the sign-complex spectral radius. Electronic Journal of Linear Algebra (ELA), 9:112–117, 2002. (PDF, 132402 bytes)
• S.M. Rump. Computational Error Bounds for Multiple or Nearly Multiple Eigenvalues. Linear Algebra and its Applications (LAA), 324:209–226, 2001. (PDF, 219485 bytes)
• S.M. Rump. Conservatism of the circle criterion - solution of a problem posed by A. Megretski. IEEE Trans. Automatic Control, 46(10):1605–1608, 2001. (PDF, 163161 bytes)
• S.M. Rump. Fast verification algorithms in Matlab. In G. Alefeld, J. Rohn, S. Rump, and T. Yamamoto, editors, Symbolic Algebraic Methods and Verification Methods, pages 209–226. Springer Mathematics, 2001. (PDF, 197658 bytes)
• S.M. Rump. Interval Arithmetic and Fuzzy Logic. In Proc. of the International NAISO congress on Information Science Innovations (ISI'2001), Dubai, pages 379–386, 2001.
• S.M. Rump. Rigorous and portable standard functions. BIT Numerical Mathematics, 41(3):540–562, 2001. (PDF, 234868 bytes)
• S.M. Rump. Self-validating methods. Linear Algebra and its Applications (LAA), 324:3–13, 2001. (PDF, 163273 bytes)
• S.M. Rump. A simple application of interval arithmetic. Brazilian Electronic Journal on Mathematics of Computation (BEJMC), 2, 2000. (PDF, 121929 bytes)
• S.M. Rump. Fast and parallel interval arithmetic. BIT Numerical Mathematics, 39(3):539–560, 1999. (PDF, 221498 bytes)
• S.M. Rump. Ill-conditioned Matrices are componentwise near to singularity. SIAM Review (SIREV), 41(1):102–112, 1999. (PDF, 174976 bytes)
• S.M. Rump. Ill-conditionedness need not be componentwise near to ill-posedness for least squares problems. BIT Numerical Mathematics, 39(1):143–151, 1999. (PDF, 142448 bytes)
• S.M. Rump. Interval computations with INTLAB. Brazilian Electronic Journal on Mathematics of Computation (BEJMC), 1, 1999. (PDF, 215010 bytes)
• S.M. Rump. INTLAB - INTerval LABoratory. In Tibor Csendes, editor, Developments in Reliable Computing, pages 77–104. Kluwer Academic Publishers, Dordrecht, 1999. (PDF, 288838 bytes)
• S.M. Rump. Verified Solution of Large Linear and Nonlinear Systems. In H. Bulgak and C. Zenger, editors, Error Control and adaptivity in Scientific Computing, pages 279–298. Kluwer Academic Publishers, 1999. (PDF, 205816 bytes)
• D. Dennis, V. Kreinovich, and S.M. Rump. Intervals and the Origins of Calculus. Reliable Computing, 4(2):191–197, 1998. (PDF, 205001 bytes)
• S.M. Rump. A Note on Epsilon-Inflation. Reliable Computing, 4:371–375, 1998. (PDF, 122641 bytes)
• S.M. Rump. INTLAB - Interval Laboratory, Version 1, 1998.
• S.M. Rump. Structured Perturbations and Symmetric Matrices. Linear Algebra and its Applications (LAA), 278:121–132, 1998. (PDF, 200910 bytes)
• S.M. Rump. The sign-real spectral radius and cycle products. Linear Algebra and its Applications (LAA), 279:177–180, 1998. (PDF, 128819 bytes)
• S.M. Rump. Almost Sharp Bounds for the Componentwise Distance to the Nearest Singular Matrix. Linear and Multilinear Algebra (LAMA), 42:93–107, 1997. (PDF, 159553 bytes)
• S.M. Rump. Bounds for the Componentwise Distance to the Nearest Singular Matrix. SIAM J. Matrix Anal. Appl. (SIMAX), 18(1):83–103, 1997. (PDF, 250422 bytes)
• S.M. Rump. HARDY - High-Accuracy Arithmetic Applied to Dimensionl Metrology. In Proceedings of the 4th German-Brazilian Workshop on Information Technology, pages 9–12, Berlin, 1997.
• S.M. Rump. Inclusion of zeros of nowhere differentiable n-dimensional functions. Reliable Computing, 3(1):5–16, 1997. (PDF, 478192 bytes)
• S.M. Rump. Theorems of Perron-Frobenius type for matrices without sign restrictions. Linear Algebra and its Applications (LAA), 266:1–42, 1997. (PDF, 273503 bytes)
• R. Lindemann and S.M. Rump. COX - C with Operator eXtension. Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM), 76, Suppl. 1:53–56, 1996.
• W. Mackens and S.M. Rump. Software Engineering im Scientific Computing. Vieweg Verlag, 1996.
• S.M. Rump. Expansion and Estimation of the Range of Nonlinear Functions. Math. Comput., 65(216):1503–1512, 1996. (PDF, 150408 bytes)
• S.M. Rump. Improved Iteration Schemes for Validation Algorithms for Dense and Sparse Nonlinear Systems. Computing, 57(1):77–84, 1996. (PDF, 133976 bytes)
• S.M. Rump. The distance between regularity and strong regularity. In G. Alefeld, A. Frommer, and B. Lang, editors, Scientific Computing and Validated Numerics, volume 90 of Mathematical Research, pages 105–117. Akademie Verlag, 1996. (PDF, 205619 bytes)
• S.M. Rump. Verified Computation of the Solution of Large Sparse Linear Systems. Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM), 75:S439–S442, 1995. (PDF, 1567668 bytes)
• S.M. Rump. Verified Solution of Large Systems and Global Optimization Problems. J. Comput. Appl. Math. (JCAM), 60:201–218, 1995. (PDF, 178390 bytes)
• C. Jansson and S.M. Rump. Algorithmen mit Ergebnisverifikation — einige Bemerkungen zu neueren Entwicklungen. In Jahrbuch Überblicke Mathematik, pages 47–73. Vieweg, 1994. (PDF, 2310260 bytes)
• C. Jansson and S.M. Rump. Self-Validating Methods - Some Recent Developements. In E. Schock, editor, Beiträge zur Angewandten Analysis und Informatik, pages 148–170. Shaker Verlag, 1994. (PDF, 1013221 bytes)
• S.M. Rump. Verification Methods for Dense and Sparse Systems of Equations. In J. Herzberger, editor, Topics in Validated Computations — Studies in Computational Mathematics, pages 63–136, Elsevier, Amsterdam, 1994. (PDF, 498000 bytes)
• D. Claudio and S.M. Rump. GANA - Guaranteed Accuracy for Numerical Algorithms. In Proceedings of the German Brazilian Workshop on Information Technology, Berlin, 1993.
• S.M. Rump. Validated Solution of Large Linear Systems. In R. Albrecht, G. Alefeld, and H.J. Stetter, editors, Validation numerics: theory and applications, volume 9 of Computing Supplementum, pages 191–212. Springer, 1993. (PDF, 180113 bytes)
• S.M. Rump. Zur Außen- und Inneneinschließung von Eigenwerten bei toleranzbehafteten Matrizen. Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM), 73(7-8):T861–T863, 1993. (PDF, 380996 bytes)
• D.M. Claudio and S.M. Rump. Inclusion methods for real and complex functions in one variable. Technical Report 92.5, Forschungsschwerpunkt Informations- und Kommunikationstechnik, TU Hamburg-Harburg, 1992.
• S.M. Rump. Accuracy Control and Estimation, Self-Validating Systems and Software Environments for Scientific Computation. In P. Gaffney and E. Houstis, editors, IFIP Transactions on Programming Environments for High-Level Scientific Problem Solving, pages 49–56. North-Holland, Amsterdam, 1992.
• S.M. Rump. Inclusion of the Solution for Large Linear Systems with M-Matrix. In L. Atanassova and J. Herzberger, editors, Computer Arithmetic and Enclosure Methods, pages 339–350. Elsevier Science Publisher B.V., 1992.
• S.M. Rump. Inclusion of the Solution of Large Linear Systems with M-Matrix. Interval Computations, 1(3):22–43, 1992.
• S.M. Rump. On the Solution of Interval Linear Systems. Computing, 47:337–353, 1992. (PDF, 176387 bytes)
• S.M. Rump. Recent Results in Interval Mathematics. In Proc. 5th International Conference on Scientific Computing, Benin City, 1992.
• D. Husung and S.M. Rump. ABACUS, Sprachbeschreibung. In L. Atanassova et al., editor, Computer arithmetic and enclosure methods: Proceedings of the Third International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), Oldenburg, Germany, 1 - 4 October 1991, Dublin, 1991.
• C. Jansson and S.M. Rump. Rigorous Solution of Linear Programming Problems with Uncertain Data. ZOR — Methods and Models of Operations Research, 35:87–111, 1991. (PDF, 644381 bytes)
• S.M. Rump. A Class of Arbitrarily Ill-conditioned Floating-Point Matrices. SIAM J. Matrix Anal. Appl. (SIMAX), 12(4):645–653, 1991. (PDF, 3029864 bytes)
• S.M. Rump. Convergence Properties of Iterations Using Sets. Wissenschaftliche Zeitschrift, TU Leipzig, 15(6):427–432, 1991. (PDF, 157097 bytes)
• S.M. Rump. Estimation of the Sensitivity of Linear and Nonlinear Algebraic Problems. Linear Algebra and its Applications (LAA), 153:1–34, 1991. (PDF, 225325 bytes)
• C. Jansson and S.M. Rump. Rigorous Sensitivity Analysis for Systems of Linear Equations and Linear Programming Problems. Methods of Operation Research, 62:459–473, 1990.
• S.M. Rump. ACRITH - CALCULUS - TPX - Programmierwerkzeuge für wissenschaftliches Rechnen. In Tagungsband Wissenschaftliches Forum, Hamburg, 1990.
• S.M. Rump. Approximate inverses of almost singular matrices still contain useful information. Technical Report 90.1, Forschungsschwerpunkt Informations- und Kommunikationstechnik, TU Hamburg-Harburg, 1990. (PDF, 1870115 bytes)
• S.M. Rump. Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations. Math. Comput., 54(10):721–736, 1990. (PDF, 154543 bytes)
• D. Husung and S.M. Rump. ABACUS. In Proceedings SCAN '89, Tagung ''Wissenschaftliches Rechnen und Programmiersprachen'', pages 52–53, Basel, 1989.
• S.M. Rump. CALCULUS. In U. Kulisch, editor, Wissenschaftliches Rechnen mit Ergebnisverifikation, pages 85–99. Vieweg und Akademie Verlag, Berlin, 1989.
• S.M. Rump. Guaranteed Inclusions for the Complex Generalized Eigenproblem. Computing, 42:225–238, 1989. (PDF, 3229363 bytes)
• S.M. Rump. Lineare Probleme. In U. Kulisch, editor, Wissenschaftliches Rechnen mit Ergebnisverifikation, pages 119–127. Vieweg und Akademie Verlag, Berlin, 1989.
• T. Merschen and S.M. Rump. Genaues Rechnen. Technical report, Fachbereich Lehre und Forschung, IBM, 1988.
• S.M. Rump. Algebraic Computation, Numerical Computation, and Verified Inclusions. In R. Janßen, editor, Trends in Computer Algebra, pages 177–197. Lecture Notes in Computer Science 296, 1988.
• S.M. Rump. Algorithms for Verified Inclusions - Theory and Practice. In R.E. Moore, editor, Reliability in Computing, volume 19 of Perspectives in Computing, pages 109–126. Academic Press, 1988. (PDF, 543373 bytes)
• S.M. Rump. Garantiert richtige Ergebnisse auf Rechenanlagen (ACRITH). In Tagungsband Wissenschaftliches Forum, München, 1988.
• U. Allendörfer, H. Böhm, G. Bohlender, K. Grüner, E. Kaucher, R. Kirchner, R. Klatte, U. Kulisch, M. Neaga, L.B. Rall, S.M. Rump, R. Saier, L. Schindele, Ch. Ullrich, H.W. Wippermann, and J. Wolff von Gudenberg. PASCAL-SC: A PASCAL Extension for Scientific Computation, Information Manual and Floppy Disks, Version IBM PC. B.G. Teubner und John Wiley & Sons, Stuttgart und Chichester, 1987.
• U. Allendörfer, H. Böhm, G. Bohlender, K. Grüner, E. Kaucher, R. Kirchner, R. Klatte, U. Kulisch, M. Neaga, L.B. Rall, S.M. Rump, R. Saier, L. Schindele, Ch. Ullrich, H.W. Wippermann, and J. Wolff von Gudenberg. PASCAL-SC: A PASCAL Extension for Scientific Computation for the ATARI ST, Information Manual and Floppy Disks. B.G. Teubner, Stuttgart, 1987.
• J.H. Bleher, S.M. Rump, U. Kulisch, M. Metzger, C. Ullrich, and W. Walter. FORTRAN-SC: A Study of a FORTRAN Extension for Engineering/Scientific Computation with Access to ACRITH. Computing, 39:93–110, 1987.
• S.M. Rump. Introduction to ARCRITH - Accurate Scientific Algorithms. In E. Kaucher, U. Kulisch, and Ch. Ullrich, editors, Computerarithmetic, pages 296–369. B.G. Teubner, 1987.
• S.M. Rump. Numerische Software mit automatischer Verifikation. Technical report, Universität Duisburg, 1987.
• S.M. Rump. Solution of Linear Systems with Verified Accuracy. Applied Numerical Mathematics, 3:233–241, 1987.
• S.M. Rump, H. Böhm, and G. Schuhmacher. E-Methods for Nonlinear Problems. In E. Kaucher, U. Kulisch, and Ch. Ullrich, editors, Computerarithmetic, pages 59–80. B.G. Teubner, 1987.
• B. Buchberger, M. Feilmeier, M. Kratz, U. Kulisch, B. Kutzler, and S.M. Rump. Rechnerorientierte Verfahren. B.G. Teubner, 1986.
• M. Mascagni, W.L. Miranker, and S.M. Rump. Case Studies for Augmented Floating-Point Arithmetic. In W.L. Miranker and R. Toupin, editors, Accurate Scientific Computations, volume 235 of Lecture Notes in Computer Science, pages 86–118. Springer, 1986.
• S.M. Rump. Demonstration of ACRITH - An advanced package for scientific computation. In Proceedings of the 11th IMACS World Congress, volume 85 of IMACS Transactions on Scientific Computation, pages 331–334, Oslo, Norway, 1986. North-Holland.
• S.M. Rump. New Results on Verified Inclusions. In W.L. Miranker and R. Toupin, editors, Accurate Scientific Computations, pages 31–69. Springer Lecture Notes in Computer Science 235, 1986. (PDF, 5140433 bytes)
• S.M. Rump. Properties of a Higher Order Computer Arithmetic. In Proceedings of the 11th IMACS World Congress, volume 85 of IMACS Transactions on Scientific Computation, pages 163–165, Oslo, Norway, 1986. North-Holland.
• S.M. Rump. Sichere Ergebnisse auf Rechenanlagen. Informatik Spektrum, 9(3):174–183, 1986. (PDF, 758623 bytes)
• D.K. Unkauf, A.T. Gerlicher, S.M. Rump, and J.H. Bleher. Verfahren und Schaltungsanordnung zur Addition von Gleitkommazahlen - Patentanmeldung. Technical report, IBM, 1986.
• J.H. Bleher, A.E. Röder, and S.M. Rump. High Accuracy Arithmetic - ACRITH. In Proceedings of the SHARE 64 Meeting, pages 318–321, Los Angeles, California, 1985.
• S.M. Rump. ACRITH - High Accuracy Arithmetic Subroutine Library. In Proceedings of EUROCAL'85, European Conference on Computer Algebra, Linz, Austria, volume 203 of Lecture Notes in Computer Science. Springer, 1985.
• S.M. Rump. ACRITH - Numerical Methods with Verified Accuracy. In Proceedings of the Congress on Numerical Fluid Dynamics, pages 82–92, Tokyo, Japan, 1985.
• S.M. Rump. Higher Order Computer Arithmetic. In Proceedings of the ARITH 7 Conference on Computer Arithmetic, pages 302–308, Urbana, Illinois, 1985.
• S.M. Rump. Numerical Methods with Automatic Verification. In Proceedings of EUROCAL'85, European Conference on Computer Algebra, volume 203 of Lecture Notes in Computer Science, pages 26–27, Linz, Austria, 1985. Springer.
• J.H. Bleher, A.E. Röder, and S.M. Rump. ACRITH: High Accuracy Arithmetic - An Advanced Tool for Scientific Computation. In Proceedings of the SHARE 63 Meeting, pages 1–23, Miami, 1984. (PDF, 645581 bytes)
• G. Bohlender, H. Böhm, K. Grüner, E. Kaucher, D. Klatte, W. Krämer, U. Kulisch, W.L. Miranker, Ch. Ullrich, S.M. Rump, and J. Wolff v. Gudenberg. Arithmetic Specification in FORTRAN 8x. In B. Ford, J.C. Rault, and F. Thomasset, editors, Tools, Methods and Languages for Scientific and Engineering Computation, Proc. int. Conf., pages 213–243, Paris, 1984.
• S.M. Rump. Naive and Non-naive Interval Arithmetic in Scientific Computation. In Proceedings of the Conference on ''Numerical Mathematics'' , pages 1–18, Sao Carlos, Brazil, 1984.
• S.M. Rump. Solution of Linear and Nonlinear Algebraic Problems with Sharp Guaranteed Bounds. Comput. Suppl., 5:147–168, 1984. (PDF, 1573484 bytes)
• S.M. Rump. The use of interval arithmetic in scienfific computation. In Proceedings ''First International Conference on Computers and Applications'' , pages 719–724, Beijing, China, 1984.
• W.L. Miranker and S.M. Rump. Case Studies for ACRITH, 1. Ill posed problems and 2. Stiff Differenctial Systems. Technical report, IBM Thomas J. Watson Research Center, Yorktown Heights, New York, 1983.
• S.M. Rump. How Reliable are Results of Computers?, Translation of ``Wie zuverlässig sind die Ergebnisse unserer Rechenanlagen?''. Jahrbuch Überblicke Mathematik, pages 163–168, 1983. (PDF, 392516 bytes)
• S.M. Rump. Solving Algebraic Problems with High Accuracy. Habilitationsschrift. In U.W. Kulisch and W.L. Miranker, editors, A New Approach to Scientific Computation, pages 51–120. Academic Press, New York, 1983. (PDF, 3329173 bytes)
• S.M. Rump. Wie zuverlässig sind die Ergebnisse unserer Rechenanlagen? Jahrbuch Überblicke Mathematik, pages 163–168, 1983. (PDF, 368556 bytes)
• S.M. Rump and H. Böhm. Least significant bit evaluation for arithmetic expressions. Computing, 30:189–199, 1983. (PDF, 1418658 bytes)
• U. Kulisch, S.M. Rump, and J.W. von Gudenberg. Accuracy of the IBM 370 floating-point arithmetic and possible improvements. Technical report, IBM, 1982.
• S.M. Rump. Rechnervorführung, Pakete für Standardprobleme der Numerik. In U.W. Kulisch and Ch. Ullrich, editors, ''Wissenschaftliches Rechnen und Programmiersprachen'', pages 29–50. B.G. Teubner, 1982.
• S.M. Rump. Solving Non-Linear Systems with Least Significant Bit Accuracy. Computing, 29:183–200, 1982. (PDF, 563766 bytes)
• G. Bohlender, K. Grüner, E. Kaucher, D. Klatte, W. Krämer, U. Kulisch, W.L. Miranker, Ch. Ullrich, S.M. Rump, and J. Wolff v. Gudenberg. PASCAL-SC - A PASCAL for Contemporary Scientific Computation. Technical report, IBM, Yorktown Heights, 1981.
• S.M. Rump. Exakte Fehlerschranken für Eigenwerte und Eigenvektoren. Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM), 61(5):T311–313, 1981.
• S.M. Rump. Kleine, exakte Fehlerschranken für die Lösung linearer Gleichungssysteme. Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM), 61(5):T313–315, 1981.
• E. Kaucher and S.M. Rump. Generalized Iteration Methods for Bounds of the Solution of Fixed-Point Operator Equations. Computing, 24:131–137, 1980.
• E. Kaucher and S.M. Rump. Small bounds for the Solution of Systems of Linear Equations. Comput. Suppl., 2:157–164, 1980. (PDF, 2563722 bytes)
• S.M. Rump. Kleine Fehlerschranken bei Matrixproblemen. PhD thesis, Universität Karlsruhe, 1980. (PDF, 10710019 bytes)
• S.M. Rump. Notiz zur Genauigkeit der Arithmetik in Rechenanlagen. Elektron. Rechenanlagen, 22(5):243–244, 1980. (PDF, 429834 bytes)
• S.M. Rump. Zur Rückführung nicht mehr benötigten Speicherplatzes in PASCAL. Elektron. Rechenanlagen, 22:55–62, 1980.
• S.M. Rump. Polynomial Minimum Root Separation. Math. Comput., 33(145):327–336, 1979. (PDF, 1185999 bytes)
• S.M. Rump. Is at least one of k greater eqal 2 consecutive positive rational integers prime to all others? Technical report, Institut für Angewandte Mathematik, Universität Karlsruhe, 1978.
• S.M. Rump. Real Root Isolation for Algebraic Polynomials. ACM SIGSAM Bulletin, 11(2):327–336, 1977. (PDF, 87486 bytes)
• S.M. Rump. Ein Algorithmus zur Isolierung der reellen Nullstellen eines Polynoms mit algebraischen Koeffizienten, Rechenzeitanalyse und Implementierung. Master's thesis, Universität Kaiserslautern, 1976.
• S.M. Rump. Isolierung der reellen Nullstellen algebraischer Polynome. Technical Report 10, Arbeitsgruppe Algebra, Universität Kaiserslautern, 1976.
• S.M. Rump. On the Sign of a Real Algebraic Number. In Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation, pages 238–241, New York, 1976. (PDF, 188515 bytes)