Verified numerical computations for dense linear systems in supercomputing

Research output: Contribution to journalConference article

Abstract

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.

Original languageEnglish
Article number012014
JournalJournal of Physics: Conference Series
Volume1218
Issue number1
DOIs
Publication statusPublished - 2019 May 31
Event3rd International Conference on Mathematics; Pure, Applied and Computation, ICoMPAC 2018 - Surabaya, Indonesia
Duration: 2018 Oct 20 → …

Fingerprint

linear systems
algebra
supercomputers
products

ASJC Scopus subject areas

  • Physics and Astronomy(all)

Cite this

Verified numerical computations for dense linear systems in supercomputing. / Ozaki, Katsuhisa.

In: Journal of Physics: Conference Series, Vol. 1218, No. 1, 012014, 31.05.2019.

Research output: Contribution to journalConference article

@article{57662424e89e4bf18d8b2f316b0996d0,
title = "Verified numerical computations for dense linear systems in supercomputing",
abstract = "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.",
author = "Katsuhisa Ozaki",
year = "2019",
month = "5",
day = "31",
doi = "10.1088/1742-6596/1218/1/012014",
language = "English",
volume = "1218",
journal = "Journal of Physics: Conference Series",
issn = "1742-6588",
publisher = "IOP Publishing Ltd.",
number = "1",

}

TY - JOUR

T1 - Verified numerical computations for dense linear systems in supercomputing

AU - Ozaki, Katsuhisa

PY - 2019/5/31

Y1 - 2019/5/31

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85067825200&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85067825200&partnerID=8YFLogxK

U2 - 10.1088/1742-6596/1218/1/012014

DO - 10.1088/1742-6596/1218/1/012014

M3 - Conference article

AN - SCOPUS:85067825200

VL - 1218

JO - Journal of Physics: Conference Series

JF - Journal of Physics: Conference Series

SN - 1742-6588

IS - 1

M1 - 012014

ER -