VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS
From MaRDI portal
Publication:5020330
DOI10.14317/jami.2021.295zbMath1499.65680OpenAlexW3179027805MaRDI QIDQ5020330
Publication date: 5 January 2022
Full work available at URL: http://koreascience.or.kr:80/article/JAKO202116954520725.pdf
error estimatesinterval arithmeticNewton-like methodautomatic proofunilateral boundary value problems for second order equationsnumerical verification method
Error bounds for boundary value problems involving PDEs (65N15) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- Solution of variational inequalities in mechanics
- Numerical verification of solutions for variational inequalities
- A verification method for solutions of nonsmooth equations
- Numerical verification of solutions for a simplified Signorini problem
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- An approach to the numerical verification of solutions for obstacle problems
- Optimale Eigenwerteinschließungen
- Numerical verification of solutions for Signorini problems using Newton-like method
- Error estimates for the approximation of some unilateral problems
- Numerical inclusion methods of solutions for variational inequalities
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria