A numerical approach to the proof of existence of solutions for some generalized obstacle problems

摘要

In [8], we proposed some numerical verification methods for automatic proof of the existence of solution for obstacle problems. In this paper we propose a new iterative algorithm to automatically prove the existence of solutions for some generalized obstacle problems.