Validated solutions of saddle point linear systems

Takuma Kimura; Xiaojun Chen

doi:10.1137/070706441

Validated solutions of saddle point linear systems

Takuma Kimura, Xiaojun Chen

Research output: Journal article publication › Journal article › Academic research › peer-review

4 Citations (Scopus)

Abstract

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 language	English
Pages (from-to)	1697-1708
Number of pages	12
Journal	SIAM Journal on Matrix Analysis and Applications
Volume	30
Issue number	4
DOIs	https://doi.org/10.1137/070706441
Publication status	Published - 1 Dec 2008

Keywords

Block preconditioning
Numerical verification
Saddle point matrix

ASJC Scopus subject areas

Analysis

More information

10.1137/070706441

http://hdl.handle.net/10397/6102

Cite this

@article{7f58461020c244498a0780b4dc505a86,

title = "Validated solutions of saddle point linear systems",

abstract = "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.",

keywords = "Block preconditioning, Numerical verification, Saddle point matrix",

author = "Takuma Kimura and Xiaojun Chen",

year = "2008",

month = dec,

day = "1",

doi = "10.1137/070706441",

language = "English",

volume = "30",

pages = "1697--1708",

journal = "SIAM Journal on Matrix Analysis and Applications",

issn = "0895-4798",

publisher = "Society for Industrial and Applied Mathematics Publications",

number = "4",

}

TY - JOUR

T1 - Validated solutions of saddle point linear systems

AU - Kimura, Takuma

AU - Chen, Xiaojun

PY - 2008/12/1

Y1 - 2008/12/1

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

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

KW - Block preconditioning

KW - Numerical verification

KW - Saddle point matrix

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

U2 - 10.1137/070706441

DO - 10.1137/070706441

M3 - Journal article

SN - 0895-4798

VL - 30

SP - 1697

EP - 1708

JO - SIAM Journal on Matrix Analysis and Applications

JF - SIAM Journal on Matrix Analysis and Applications

IS - 4

ER -

Validated solutions of saddle point linear systems

Abstract

Keywords

ASJC Scopus subject areas

More information

Other files and links

Fingerprint

Cite this