セキネ　コウタ   Kouta Sekine   関根　晃太    所属   千葉工業大学  情報変革科学部 情報工学科    千葉工業大学  情報科学研究科 情報科学専攻    職種   准教授
言語種別	英語
発行・発表の年月	2013
形態種別	学術雑誌
査読	査読あり
標題	Fast verified solutions of sparse linear systems with H-matrices
執筆形態	共著
掲載誌名	Reliable Computing
掲載区分	国外
巻・号・頁	19(2),pp.127-141
著者・共著者	Minamihata, A., Sekine, K., Ogita, T., Oishi, S.
概要	This paper is concerned with the problem of verifying the accuracy of an approximate solution of a sparse linear system whose coefficient matrix is an H-matrix. Fast and efficient methods of calculating componentwise error bounds of the computed solution are proposed. The methods are based on the verified criterion for an M-matrix. The main point of this article is that the proposed methods can be applied with any iterative solution methods such as the Gauss-Seidel method and Krylov subspace methods. Therefore, the sparsity of the coefficient matrix is preserved in the verification process. Numerical results are presented, illustrating the performance of the proposed methods.
ISSN	1385-3139
PermalinkURL	http://www.scopus.com/inward/record.url?eid=2-s2.0-84891351591&partnerID=MN8TOARS