A numerical verification of solutions of free boundary problems

DOI10.1016/j.camwa.2004.01.008zbMath1063.65054OpenAlexW2083783860MaRDI QIDQ1767948

Cheon Seoung Ryoo

Publication date: 8 March 2005

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.camwa.2004.01.008

zbMATH Keywords

Variational inequalitiesNumerical examplesFixed-point theoremError estimatesFree boundary problemsNumerical verification

Mathematics Subject Classification ID

Numerical optimization and variational techniques (65K10) Variational inequalities (49J40) Algorithms with automatic result verification (65G20) Discrete approximations in optimal control (49M25)

Uses Software

• INTLAB

Cites Work

• Unnamed Item
• Unnamed Item
• Numerical verification of solutions for obstacle problems.
• An efficient implementation of the Lemke algorithm and its extension to deal with upper and lower bounds

This page was built for publication: A numerical verification of solutions of free boundary problems