M. Ceberio and V. Kreinovich, Fast multiplication of interval matrices (interval version of strassen's algorithm) Reliable Computing, pp.241-243, 2004.

S. M. Rump, Fast and parallel interval arithmetic, Bit Numerical Mathematics, vol.39, issue.3, pp.534-554, 1999.
DOI : 10.1023/A:1022374804152

S. M. Rump, 10. Computer-Assisted Proofs and Self-Validating Methods, Handbook on Accuracy and Reliability in Scientific Computation, chapter 10, pp.195-240, 2005.
DOI : 10.1137/1.9780898718157.ch10