๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Numerical verification of solutions for a simplified signorini problem

โœ Scribed by C.S. Ryoo


Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
430 KB
Volume
40
Category
Article
ISSN
0898-1221

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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.