Verified Numerical Computations for Large-Scale Linear Systems

Katsuhisa Ozaki, Takeshi Terao, Takeshi Ogita, Takahiro Katagiri

研究成果: Article査読

抄録

This paper concerns accuracy-guaranteed numerical computations for linear systems. Due to the rapid progress of supercomputers, the treatable problem size is getting larger. The larger the problem size, the more rounding errors in floating-point arithmetic can accumulate in general, and the more inaccurate numerical solutions are obtained. Therefore, it is important to verify the accuracy of numerical solutions. Verified numerical computations are used to produce error bounds on numerical solutions. We report the implementation of a verification method for large-scale linear systems and some numerical results using the RIKEN K computer and the Fujitsu PRIMEHPC FX100, which show the high performance of the verified numerical computations.

本文言語English
ページ(範囲)269-285
ページ数17
ジャーナルApplications of Mathematics
66
2
DOI
出版ステータスPublished - 2021 4

ASJC Scopus subject areas

  • Applied Mathematics

フィンガープリント 「Verified Numerical Computations for Large-Scale Linear Systems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル