Article ID Journal Published Year Pages File Type
4632160 Applied Mathematics and Computation 2010 5 Pages PDF
Abstract
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.
Related Topics
Physical Sciences and Engineering Mathematics Applied Mathematics
Preview
A numerical approach to the proof of existence of solutions for some generalized obstacle problems
Authors
,