A verification method for solutions of nonsmooth equations
From MaRDI portal
Publication:1362362
DOI10.1007/BF02684394zbMath0882.65038MaRDI QIDQ1362362
Publication date: 19 February 1998
Published in: Computing (Search for Journal in Brave)
Krawczyk operator; nonsmooth equations; interval arithmetic; verification method; nonlinear equations; semi-local convergence
65H10: Numerical computation of solutions to systems of equations
90C33: Complementarity and equilibrium problems and variational inequalities (finite dimensions) (aspects of mathematical programming)
65G30: Interval and finite arithmetic
Related Items
Newton-type methods for quasidifferentiable equations, Verification for existence of solutions of linear complementarity problems, Verified numerical computation for nonlinear equations, Solving interval constraints by linearization in computer-aided design, On the computation of an element of Clarke generalized Jacobian for a vector-valued max function, Numerical verification of solutions for obstacle problems., Numerical verification of solutions for elasto-plastic torsion problems, Interval analysis: Theory and applications, Newton methods for solving two classes of nonsmooth equations., A verified inexact implicit Runge-Kutta method for nonsmooth ODEs, CALCULATING AN ELEMENT OF B-DIFFERENTIAL FOR A VECTOR-VALUED MAXIMUM FUNCTION*
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A method for finding sharp error bounds for Newton's method under the Kantorovich assumptions
- On the convergence of some quasi-Newton methods for nonlinear equations with nondifferentiable operators
- Local convergence of quasi-Newton methods for B-differentiable equations
- Safe bounds for the solutions of nonlinear problems using a parallel multisplitting method
- Convergence of Newton-like methods for singular operator equations using outer inverses
- Inexact trust region method for large sparse systems of nonlinear equations
- A nonsmooth version of Newton's method
- On the convergence of Broyden-like methods for nonlinear equations with nondifferentiable terms
- On the R-Order of Newton-Like Methods for Enclosing Solutions of Nonlinear Equations
- Nonsmooth Equations: Motivation and Algorithms
- Newton's Method for B-Differentiable Equations
- On the optimal properties of the krawczyk-type interval operator∗
- A Successive Interval Test for Nonlinear Systems
- Globally Convergent Newton Methods for Nonsmooth Equations
- Fast Algorithms for Nonsmooth Compact Fixed-Point Problems
- Semismooth and Semiconvex Functions in Constrained Optimization
- Efficient Numerical Validation of Solutions of Nonlinear Systems
- Global Convergence of Damped Newton's Method for Nonsmooth Equations via the Path Search
- Convergence of Newton's Method for Singular Smooth and Nonsmooth Equations Using Adaptive Outer Inverses
- Convergence Analysis of Some Algorithms for Solving Nonsmooth Equations
- A Globally Convergent Successive Approximation Method for Severely Nonsmooth Equations
- A Note on the Moore Test for Nonlinear Systems