Verification for existence of solutions for some generalized obstacle problems Original Research Article

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.