Title of article
Verification for existence of solutions for some generalized obstacle problems Original Research Article
Author/Authors
Cheon Seoung Ryoo، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
6
From page
635
To page
640
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
Fixed-point theorem , Error estimates , Obstacle problems , Numerical verification
Journal title
Applied Mathematics Letters
Serial Year
2005
Journal title
Applied Mathematics Letters
Record number
897959
Link To Document