Summary
International Symposium on Nonlinear Theory and its Applications
2005
Session Number:2-1-4
Session:
Number:2-1-4-5
Componentwise Verified Solutions of Linear Systems Suited for Java
K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S. M. Rump,
pp.749-752
Publication Date:2005/10/18
Online ISSN:2188-5079
DOI:10.34385/proc.40.2-1-4-5
PDF download (84.5KB)
Summary:
A fast and portable verification method is proposed for computing tight and componentwise error bounds for approximate solutions of linear systems. This method requires no switch of rounding mode so that it is applicable in Java keeping the portability. Finally numerical examples are presented to show the efficiency of this method.