Numerical verification of solutions for some unilateral problems

✍ Scribed by C.S. Ryoo

• Publisher: Elsevier Science
• Year: 2000
• Tongue: English
• Weight: 264 KB
• Volume: 13
• Category: Article
• ISSN: 0893-9659
• DOI: 10.1016/s0893-9659(00)00047-1

✦ Synopsis

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.