A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems

Ryo Kobayashi, Takuma Kimura, Shin'ichi Oishi. A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems. Numerical Algorithms, 76(1):33-51, 2017. [doi]

Abstract

Abstract is missing.