Validated Solutions of Saddle Point Linear Systems

Takuma Kimura, Xiaojun Chen. Validated Solutions of Saddle Point Linear Systems. SIAM J. Matrix Analysis Applications, 30(4):1697-1708, 2008. [doi]

Abstract

Abstract is missing.