submitted for publication in SISC, November 13, 2005, revised April 13, 2007 and April 15, 2008, accepted August 21, 2008; appeared SIAM J. Sci. Comput. Vol. 31, Issue 2, pp) ACCURATE FLOATING-POINT SUMM

Source URL: www.ti3.tu-harburg.de

• Computer arithmetic
• Numerical analysis
• Floating point
• Kahan summation algorithm
• Mathematics

c 2015 Society for Industrial and Applied Mathematics  SIAM J. MATRIX ANAL. APPL. Vol. 36, No. 2, pp. 385–392

Source URL: www.ti3.tu-harburg.de

• Algebra
• Matrices
• Mathematics
• Toeplitz matrix
• Symmetric matrix
• Persymmetric matrix
• Hankel matrix

BMBF Verbundprojekt Schlussbericht – Universitätsbibliothek der Technischen Universität Hamburg-Harburg

Source URL: edok01.tib.uni-hannover.de

Reliable Computing 4: 1-5, 1998 A NOTE ON EPSILON-INFLATION S. M. RUMP∗ Abstract. The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation a

Source URL: www.ti3.tu-harburg.de

Cuxhaven - Hamburg-Harburg Kursbuchtabelle: 121 Quelle: www.fernbahn.de nicht zur betrieblichen Verwendung km

Source URL: www.grahnert.de

Verification Methods for Dense and Sparse Systems of Equations ∗ S.M. Rump, Hamburg In this paper we describe verification methods for dense and large sparse systems of linear and nonlinear equations. Most of the metho

Source URL: www.ti3.tu-harburg.de

• Mathematical analysis
• Mathematics
• Arithmetic
• Computer arithmetic
• Interval arithmetic
• Numerical analysis
• Inverse trigonometric functions
• Boolean algebra
• Holomorphic functional calculus

submitted May 18, accepted November 28, 2011, published in Numerical Algorithms 61(1), FAST INTERVAL MATRIX MULTIPLICATION SIEGFRIED M. RUMP ∗

Source URL: www.ti3.tu-harburg.de

• Matrix theory
• Numerical linear algebra
• Arithmetic
• Computer arithmetic
• Interval arithmetic
• Numerical analysis
• Interval
• Matrix
• Ring

Einladung zu den Urban Transport Weeks 2015 in Hamburg Zum zweiten Mal lädt das European Institute für Sustainable Transport (EURIST) zusammen mit der TU Hamburg-Harburg zu den Urban Transport Weeks in Hamburg ein. In

Source URL: www.mobilitaetsmanagement.nrw.de

EINVERSTÄNDNISERKLÄRUNG Zur unbegleiteten Beförderung von JugendlichenJahre) Angaben zum Jugendlichen: Name Vorname Alter

Source URL: harburg.pendlerportal.de

NOLTA, IEICE Paper Verified sharp bounds for the real gamma function over the entire floating-point range

Source URL: www.ti3.tu-harburg.de

• Gamma function
• Floor and ceiling functions
• Probability theory
• Computability theory
• Error function