1. Lions, P.-L.: On the existence of positive solutions of semilinear elliptic equations. SIAM Rev. 24(4), 441–467 (1982)
2. Nakao, M.T.: Solving nonlinear elliptic problems with result verification using an H
−1 type residual iteration. In: Validation Numerics: Theory and Applications. Volume 9 of Computing Supplementum, pp. 161–173. Springer, Vienna (1993)
3. Nakao, M.T.: A computational verification method of existence of solutions for nonlinear elliptic equations. In: Recent Topics in Nonlinear PDE, IV, Kyoto, 1988. Volume 160 of North-Holland Mathematics Studies, pp. 101–120. North-Holland, Amsterdam (1989)
4. Nakao, M.T.: A numerical approach to the proof of existence of solutions for elliptic problems. II. Japan J. Appl. Math. 7(3), 477–488 (1990)
5. Nakao, M.T.: Computable error estimates for FEM and numerical verification of solutions for nonlinear PDEs. In: Computational and Applied Mathematics, I (Dublin, 1991), pp. 357–366. North-Holland, Amsterdam (1992)