Validated solutions of saddle point linear systems

Takuma Kimura, Xiaojun Chen

Research output: Journal article publicationJournal articleAcademic researchpeer-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 - 1 Dec 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