J-STAGE Home  >  Publications - Top  > Bibliographic Information

Nonlinear Theory and Its Applications, IEICE
Vol. 6 (2015) No. 3 pp. 364-376



Special Section on Recent Progress in Verified Numerical Computations

This paper is concerned with real interval arithmetic. We focus on interval matrix multiplication. Well-known algorithms for this purpose require the evaluation of several point matrix products to compute one interval matrix product. In order to save computing time we propose a method that modifies such known algorithm by partially using low-precision floating-point arithmetic. The modified algorithms work without significant loss of tightness of the computed interval matrix product but are about 30% faster than their corresponding original versions. The negligible loss of accuracy is rigorously estimated.

Copyright © 2015 The Institute of Electronics, Information and Communication Engineers

Article Tools

Share this Article