Validated solutions of saddle point linear systems

Takuma Kimura*, Xiaojun Chen

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    4 Citations (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.

    Original languageEnglish
    Pages (from-to)1697-1708
    Number of pages12
    JournalSIAM Journal on Matrix Analysis and Applications
    Issue number4
    Publication statusPublished - 2008


    • Block preconditioning
    • Numerical verification
    • Saddle point matrix

    ASJC Scopus subject areas

    • Analysis


    Dive into the research topics of 'Validated solutions of saddle point linear systems'. Together they form a unique fingerprint.

    Cite this