Title of article :
Numerical verification of solutions for some unilateral problems
Original Research Article
Author/Authors :
C.S. Ryoo، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
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 :
Numerical verification method , Variational inequalities , Schauder fixed-point theorem , Error estimates , Unilateral problems
Journal title :
Applied Mathematics Letters
Journal title :
Applied Mathematics Letters
