Pages that link to "Item:Q1277004"
From MaRDI portal
The following pages link to Numerical verification of solutions for variational inequalities (Q1277004):
Displayed 16 items.
- An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory (Q481617) (← links)
- Error bounds for nonlinear complementarity problems with band structure (Q637561) (← links)
- A numerical approach to the proof of existence of solutions for some generalized obstacle problems (Q984392) (← links)
- Numerical verification of solutions for some unilateral boundary value problems. (Q1416288) (← links)
- Solving obstacle problems with guaranteed accuracy. (Q1416447) (← links)
- Numerical verification of solutions for obstacle problems. (Q1421206) (← links)
- Numerical verification of solutions for obstacle problems using a Newton-like method (Q1570139) (← links)
- A computational verification method of existence of solution for elastoplastic torsion problems with uniqueness (Q1585548) (← links)
- Computational proofs of the existence of solutions to elasto-plastic torsion problems (Q1585831) (← links)
- Numerical verification of solutions for a simplified Signorini problem (Q1591946) (← links)
- Verified computation of solutions for obstacle problems with guaranteed \(L^\infty\) error bound (Q1600368) (← links)
- Numerical verification of solutions for variational inequalities of the second kind (Q1609070) (← links)
- On characterizations and regularity of the solution of bilateral obstacle problems (Q1872956) (← links)
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
- Numerical verification for solutions to partial differential equations (Q4568286) (← links)
- VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS (Q5020330) (← links)