Numerical verification of solutions for a simplified Signorini problem

DOI10.1016/S0898-1221(00)85011-7zbMath0963.65075OpenAlexW2066991766MaRDI QIDQ1591946

Cheon Seoung Ryoo

Publication date: 14 January 2001

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

Full work available at URL: https://doi.org/10.1016/s0898-1221(00)85011-7

zbMATH Keywords

variational inequalitieserror estimatesfinite element methodSignorini problemfree boundarynumerical verificationautomatic proof

Mathematics Subject Classification ID

Related Items (8)

VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS ⋮ Two projection methods for the solution of Signorini problems ⋮ Numerical verification of solutions for some unilateral boundary value problems. ⋮ Solving obstacle problems with guaranteed accuracy. ⋮ An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory ⋮ Meshless projection iterative analysis of Signorini problems using a boundary element-free method ⋮ NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS ⋮ Numerical verification of solutions for some unilateral problems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
• Numerical verification of solutions for variational inequalities
• Numerical verification of solutions for elasto-plastic torsion problems
• Error estimates for the approximation of some unilateral problems
• Numerical verifications of solutions for elliptic equations with strong nonlinearity

This page was built for publication: Numerical verification of solutions for a simplified Signorini problem