An approach to the numerical verification of solutions for obstacle problems

Authors:
Cheon Seoung Ryoo
Affiliations:
Department of Mathematics, Hannam University, Daejeon 306-791, Republic of Korea
Venue:
Computers & Mathematics with Applications
Year:
2007

Citing 3
Cited 0

Solving algebraic problems with high accuracy

Proc. of the symposium on A new approach to scientific computation
Finite Element Method for Elliptic Problems

Finite Element Method for Elliptic Problems
Numerical verification of solutions for generalized obstacle problems

Neural, Parallel & Scientific Computations

Quantified Score

Hi-index	0.09

Visualization

Abstract

In this paper, we consider numerical techniques which enable us to verify the existence of solutions for a general obstacle problem using computers. We describe the numerical verification algorithm for solving a two dimensional obstacle problem and report a numerical result.