Validated solutions of saddle point linear systems

Takuma Kimura*, Xiaojun Chen

*この研究の対応する著者

    研究成果査読

    4 被引用数 (Scopus)

    抄録

    We propose a fast verification method for saddle point linear systems where the (1,1) block is singular. The proposed verification method is based on an algebraic analysis of a block diagonal preconditioner and rounding mode controlled computations. Numerical comparison of several verification methods with various block diagonal preconditioners is given.

    本文言語English
    ページ(範囲)1697-1708
    ページ数12
    ジャーナルSIAM Journal on Matrix Analysis and Applications
    30
    4
    DOI
    出版ステータスPublished - 2008

    ASJC Scopus subject areas

    • 分析

    フィンガープリント

    「Validated solutions of saddle point linear systems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル