Title
Error-free transformation of matrix multiplication with a posteriori validation.
Abstract
In this study, we examine the accurate matrix multiplication in floating-point arithmetic. We demonstrate the error-free transformations of matrix multiplication using high performance basic linear algebra subprograms. These transformations can be applied to accurately compute the product of two matrices using floating-point entries. A key technique for this calculation is error-free splitting in floating-point matrices. In this study, we improve upon our previous method by a posteriori validation using floating-point exception. In the method, we utilize the presence of overflow in a positive manner for detecting whether rounding error occurs. If overflow occurs, the result contains some exceptional values such as +/- and NaN, that is, the method fails by necessity. Otherwise, we can confirm that no rounding error occurs in the process. Therefore, reducing the possibility of overflow is important. The numerical results suggest that the proposed algorithm provides more accurate results compared with the original algorithm. Moreover, for the product of n x n matrices, when n5000, the new algorithm reduces the computing time for error-free transformation by an average of 20 % and up to 30 % compared with the original algorithm. Furthermore, the new algorithm can be used when matrix multiplication is performed using divide-and-conquer methods. Copyright (c) 2016 John Wiley & Sons, Ltd.
Year
DOI
Venue
2016
10.1002/nla.2061
NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS
Keywords
Field
DocType
floating-point arithmetic,matrix multiplication,interval arithmetic,accurate computing
Multiplication algorithm,Arbitrary-precision arithmetic,Floating point,Mathematical analysis,A priori and a posteriori,Arithmetic,Algorithm,Kochanski multiplication,Saturation arithmetic,Matrix multiplication,Binary operation,Mathematics
Journal
Volume
Issue
ISSN
23.0
5.0
1070-5325
Citations 
PageRank 
References 
0
0.34
6
Authors
3
Name
Order
Citations
PageRank
Katsuhisa Ozaki1134.70
Takeshi Ogita223123.39
Shin'ichi Oishi328037.14