𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Numerical verification of solutions for some unilateral boundary value problems

✍ Scribed by Cheon Seoung Ryoo; Howan Song; Sang Dong Kim

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
535 KB
Volume
44
Category
Article
ISSN
0898-1221

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Numerical verification of solutions for
Numerical verification of solutions for some unilateral problems
✍ 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.

Numerical solution of quadratic boundary
Numerical solution of quadratic boundary value problems
✍ R. VulanoviΔ‡ πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 741 KB

new finite-difference scheme for both singularly perturbed and unperturbed quadratic boundary value problems is proposed, and its stability and convergence analyzed. Numerical results are given for some application problems.