Numerical verification of solutions for
โ
C.S. Ryoo
๐
Article
๐
2000
๐
Elsevier Science
๐
English
โ 264 KB
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. (~) 2000 Elsevier Science Ltd. All rights reserved.