|
|||||
|
|
Numerical verification of solutions for some unilateral problems |
|
| Institution: | Department of Mathematics, Kyungpook National University Taegu 702-701, Korea |
| Abstract: | We proposed some numerical methods for the automatic proof of existence of solutions for some unilateral problems. In this paper, our goal is to establish a new procedure for numerical verification of some unilateral problems. |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |