M. Ceberio and V. Kreinovich, Fast Multiplication of Interval Matrices (Interval Version of Strassen's Algorithm), Reliable Computing, vol.10, issue.3, pp.241-243, 2004.
DOI : 10.1023/B:REOM.0000032111.16328.b2

N. J. Higham, Accuracy and Stability of Numerical Algorithms, 2002.
DOI : 10.1137/1.9780898718027

I. Task, P. , and A. /. Ieee, Standard for Binary Floating-Point Arithmetic, pp.754-1985, 1985.

I. Tasl and P. , Standard for Floating-Point Arithmetic IEEE 1788 working group for the standardization of inter- val arithmetic: http://grouper.ieee.org/groups, pp.754-2008, 1788.

M. Lerch, G. Tischler, J. Wolff-von-gudenberg, and W. , FILIB++, a fast interval library supporting containment computations, ACM Transactions on Mathematical Software, vol.32, issue.2, pp.299-324, 2006.
DOI : 10.1145/1141885.1141893

A. Neumaier, Interval Methods for Systems of Equations, 1990.
DOI : 10.1017/CBO9780511526473

H. Diep-nguyen, Efficient implementation of interval matrix multiplication, Proceedings of PARA 2010: State of the Art in Scientific and Parallel Computing

H. Diep-nguyen, Efficient algorithms for verified scientific computing: numerical linear algebra using interval arithmetic, 2011.

S. M. Rump, Fast And Parallel Interval Arithmetic, BIT Numerical Mathematics, vol.39, issue.3, pp.539-560, 1999.

S. M. Rump, Fast Interval Matrix Multiplication, to appear in Numerical Algorithms