1. Nakao, M.T., Watanabe, Y.: An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations. Numerical Algorithms 37, 311–323 (2004)
2. Nakao, M.T., Yamamoto, N.: A simplified method of numerical verification for nonlinear elliptic equations. In: The Proceedings of International Symposium on Nonlinear Theory and its Applications (NOLTA 1995), Las Vegas, USA, pp. 263–266 (1995)
3. Plum, M.: Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems. Computing 49, 25–44 (1992)
4. Marciniak, A.: An Interval Difference Method for Solving the Poisson Equation the First Approach. Pro Dialog 24, 49–61 (2008)
5. Lecture Notes in Computer Science;M.A. Jankowska,2012