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
Accuracy and Stability of Numerical Algorithms, 2002. ,
DOI : 10.1137/1.9780898718027
Standard for Binary Floating-Point Arithmetic, pp.754-1985, 1985. ,
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. ,
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
Interval Methods for Systems of Equations, 1990. ,
DOI : 10.1017/CBO9780511526473
Efficient implementation of interval matrix multiplication, Proceedings of PARA 2010: State of the Art in Scientific and Parallel Computing ,
Efficient algorithms for verified scientific computing: numerical linear algebra using interval arithmetic, 2011. ,
Fast And Parallel Interval Arithmetic, BIT Numerical Mathematics, vol.39, issue.3, pp.539-560, 1999. ,
Fast Interval Matrix Multiplication, to appear in Numerical Algorithms ,