Pages that link to "Item:Q1362362"
From MaRDI portal
The following pages link to A verification method for solutions of nonsmooth equations (Q1362362):
Displaying 15 items.
- An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory (Q481617) (← links)
- Verified numerical computation for nonlinear equations (Q849180) (← links)
- Solving interval constraints by linearization in computer-aided design (Q868685) (← links)
- A system of nonsmooth equations solver based upon subgradient method (Q903004) (← links)
- On the computation of an element of Clarke generalized Jacobian for a vector-valued max function (Q1049060) (← links)
- Numerical verification of solutions for obstacle problems. (Q1421206) (← links)
- Numerical verification of solutions for elasto-plastic torsion problems (Q1570141) (← links)
- Interval analysis: Theory and applications (Q1587412) (← links)
- Newton methods for solving two classes of nonsmooth equations. (Q1771826) (← links)
- A verified inexact implicit Runge-Kutta method for nonsmooth ODEs (Q2483052) (← links)
- CALCULATING AN ELEMENT OF B-DIFFERENTIAL FOR A VECTOR-VALUED MAXIMUM FUNCTION<sup>*</sup> (Q2769519) (← links)
- (Q4627085) (← links)
- VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS (Q5020330) (← links)
- Newton-type methods for quasidifferentiable equations (Q5929423) (← links)
- Verification for existence of solutions of linear complementarity problems (Q5929743) (← links)
