Verification for existence of solutions for some generalized obstacle problems

We describe some numerical methods to automatically prove the existence of solutions for some generalized obstacle problems. In this paper, our goal is to establish a new procedure for numerical verification of generalized obstacle problems.