Numerical validation of solutions of saddle point matrix equations. - Xiaojun Chen 001; Kouji Hashimoto (Numer. Linear Algebra Appl., 2003)

A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems. - Mitsuhiro T. Nakao; Kouji Hashimoto; Yoshitaka Watanabe (Computing, 2005)