• Title of article

    Numerical verification of solutions for some unilateral problems Original Research Article

  • Author/Authors

    C.S. Ryoo، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2000
  • Pages
    5
  • From page
    13
  • To page
    17
  • 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
  • Serial Year
    2000
  • Journal title
    Applied Mathematics Letters
  • Record number

    897094