Abstract | ||
---|---|---|
This paper is concerned with the tight enclosure of matrix multiplication AB for two floating-point matrices A and B. The aim of this paper is to compute component-wise upper and lower bounds of the exact result C of the matrix multiplication AB by floating-point arithmetic. Namely, an interval matrix enclosing C is obtained. In this paper, new algorithms for enclosing C are proposed. The proposed algorithms are designed to mainly exploit the level 3 operations in BLAS. Although the proposed algorithms take around twice as much costs as a standard algorithm promoted by Oishi and Rump, the accuracy of the result by the proposed algorithms is better than that of the standard algorithm. At the end of this paper, we present numerical examples showing the efficiency of the proposed algorithms. Copyright (C) 2010 John Wiley & Sons, Ltd. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1002/nla.724 | NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS |
Keywords | Field | DocType |
verified numerical computation,matrix multiplication,interval arithmetic | Standard algorithms,Multiplication algorithm,Enclosure,Interval matrix,Upper and lower bounds,Matrix (mathematics),Algorithm,Interval arithmetic,Matrix multiplication,Mathematics | Journal |
Volume | Issue | ISSN |
18 | SP2 | 1070-5325 |
Citations | PageRank | References |
4 | 0.54 | 5 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Katsuhisa Ozaki | 1 | 13 | 4.70 |
Takeshi Ogita | 2 | 231 | 23.39 |
Shin'ichi Oishi | 3 | 280 | 37.14 |