| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 473764 | Computers & Mathematics with Applications | 2007 | 9 Pages |
Abstract
In this paper, we consider numerical techniques which enable us to verify the existence of solutions for a general obstacle problem using computers. We describe the numerical verification algorithm for solving a two dimensional obstacle problem and report a numerical result.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Science (General)
Authors
Cheon Seoung Ryoo,