Nonlinear Theory and Its Applications, IEICE
Online ISSN : 2185-4106
ISSN-L : 2185-4106
Special Section on Recent Progress in Verified Numerical Computations
Accelerating interval matrix multiplication by mixed precision arithmetic
Katsuhisa OzakiTakeshi OgitaFlorian BüngerShin'ichi Oishi
Author information

2015 Volume 6 Issue 3 Pages 364-376


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.

Content from these authors
© 2015 The Institute of Electronics, Information and Communication Engineers
Previous article Next article