1. Numerical verifications of solutions for nonlinear elliptic equations;Watanabe;Japan Journal of Industrial and Applied Mathematics,1993
2. A computational approach to constructive a priori error estimate for finite element approximations of bi-harmonic problems in nonconvex polygonal domains;Hashimoto;Information,2006
3. M.T. Nakao, K. Hashimoto, K. Nagatou, A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems, GAKUTO International Series, Mathematical Sciences and Applications 28, Proceedings of the 4th JSIAM-SIMAI Seminar on Industrial and Applied Mathematics, May 26–28, 2005, Hayama, Japan (2008), pp. 139–148
4. A numerical verification method for the existence of weak solutions for nonlinear boundary value problems;Nakao;Journal of Mathematical Analysis and Applications,1992
5. Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains;Yamamoto;Numerische Mathematik,1993