论文信息 - Interval operations in rounding to nearest

Interval operations in rounding to nearest

We give a simple and e‐cient method to simulate interval operations using only rounding to nearest in IEEE 754. The quality in terms of the diameter of the result is signiflcantly improved compared to existing approaches.

Siegfried M. Rump | Paul Zimmermann

[1] Chenyi Hu,et al. Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library , 1994, TOMS.

[2] James Demmel,et al. IEEE Standard for Floating-Point Arithmetic , 2008 .

[3] Yozo Hida,et al. Accurate Floating Point Summation , 2002 .

[4] Sylvie Boldo,et al. Preuves formelles en arithmétiques à virgule flottante , 2004 .

[5] Peter Linz,et al. Accurate floating-point summation , 1970, CACM.

[6] Jean-Michel Muller,et al. Some functions computable with a fused-mac , 2005, 17th IEEE Symposium on Computer Arithmetic (ARITH'05).

[7] Siegfried M. Rump,et al. Accurate Floating-Point Summation Part I: Faithful Rounding , 2008, SIAM J. Sci. Comput..

[8] William J. Cody,et al. Algorithm 722: Functions to support the IEEE standard for binary floating-point arithmetic , 1993, TOMS.

[9] Laurence Rideau,et al. A Generic Library for Floating-Point Numbers and Its Application to Exact Computing , 2001, TPHOLs.