Authors : R. Kobayashi, T. Kimura, S. Oishi
A fast numerical verification method is proposed for evaluating the accuracy of numerical solutions for symmetric saddle point linear systems whose diagonal blocks of the coefficient matrix are semi-definite matrices. The method is based on results of an algebraic analysis of a block diagonal preconditioning.