Department of Computer Science, The University of Electro-Communications 1-5-1 Chofugaoka, Chofu, Tokyo 182-8585, Japan
Abstract:
Numerical verification methods, so-called Nakao's methods, on existence or uniqueness of solutions to PDEs have been developed by Nakao and his group including the authors. They are based on the error estimation of approximate solutions which are mainly computed by FEM.