Article ID Journal Published Year Pages File Type
10678440 Applied Mathematics Letters 2005 6 Pages PDF
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering Engineering Computational Mechanics
Preview
Verification for existence of solutions for some generalized obstacle problems
Authors
,