A numerical approach to the proof of existence of solutions for some generalized obstacle problems |
| |
| Authors: | Cheon Seoung Ryoo |
| |
| Affiliation: | Department of Mathematics, Hannam University, Daejeon 306-791, Republic of Korea |
| |
| 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. |
| |
| Keywords: | Numerical verification methods Generalized obstacle problems |
| 本文献已被 ScienceDirect 等数据库收录！ |
