A verification method for solutions of nonsmooth equations
From MaRDI portal
Publication:1362362
DOI10.1007/BF02684394zbMath0882.65038OpenAlexW1585857970MaRDI QIDQ1362362
Publication date: 19 February 1998
Published in: Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02684394
Krawczyk operatornonsmooth equationsinterval arithmeticverification methodnonlinear equationssemi-local convergence
Numerical computation of solutions to systems of equations (65H10) Complementarity and equilibrium problems and variational inequalities (finite dimensions) (aspects of mathematical programming) (90C33) Interval and finite arithmetic (65G30)
Related Items
Verified numerical computation for nonlinear equations ⋮ Solving interval constraints by linearization in computer-aided design ⋮ VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS ⋮ A system of nonsmooth equations solver based upon subgradient method ⋮ Numerical verification of solutions for obstacle problems. ⋮ An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory ⋮ Newton-type methods for quasidifferentiable equations ⋮ Verification for existence of solutions of linear complementarity problems ⋮ A verified inexact implicit Runge-Kutta method for nonsmooth ODEs ⋮ CALCULATING AN ELEMENT OF B-DIFFERENTIAL FOR A VECTOR-VALUED MAXIMUM FUNCTION* ⋮ Newton methods for solving two classes of nonsmooth equations. ⋮ Numerical verification of solutions for elasto-plastic torsion problems ⋮ On the computation of an element of Clarke generalized Jacobian for a vector-valued max function ⋮ Unnamed Item ⋮ Interval analysis: Theory and applications
Cites Work
- 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
- Optimization and nonsmooth analysis
- 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
