Numerical verification of solutions for generalized obstacle problems
Cheon Seoung Ryoo, Ravi P. Agarwal · Neural, Parallel & Scientific Computations archive · 2003
In this paper, we propose a numerical method to prove the existence of solutions to generalized obstacle problems using computers. In order to verify solutions, it is necessary to determine some constants which appear in a priori error estimations. We describe a method for determination of these constants.