Verified numerical computations for dense linear systems in supercomputing

研究成果: Conference article査読


The numerical computations with guaranteed accuracy called verified numerical computations are studied, herein. We focus on an accurate numerical solution for dense linear systems of the form Ax = b and error bound of in supercomputing, where is an approximate solution. First, we implemented accurate algorithms for a matrix-vector product for parallel and distributed computing, and then, applied them to iterative refinements. Next, we implemented verified numerical computations using the Parallel Basic Linear Algebra Subprograms (PBLAS) and the Scalable Linear Algebra Package library (ScaLAPACK). Numerical examples of the verified numerical computations for linear systems are presented using the Fujitsu FX100 supercomputer. They clearly illustrate the efficiency of the verified numerical computations.

ジャーナルJournal of Physics: Conference Series
出版ステータスPublished - 2019 5月 31
イベント3rd International Conference on Mathematics; Pure, Applied and Computation, ICoMPAC 2018 - Surabaya, Indonesia
継続期間: 2018 10月 20 → …

ASJC Scopus subject areas

  • 物理学および天文学(全般)


「Verified numerical computations for dense linear systems in supercomputing」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。