A verification method for solutions of nonsmooth equations
DOI10.1007/BF02684394zbMATH Open0882.65038OpenAlexW1585857970MaRDI QIDQ1362362FDOQ1362362
Authors: Xiaojun Chen 
Publication date: 19 February 1998
Published in: Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02684394
nonlinear equationsinterval arithmeticnonsmooth equationssemi-local convergenceKrawczyk operatorverification method
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)
Cites Work
- Title not available (Why is that?)
- A nonsmooth version of Newton's method
- Optimization and nonsmooth analysis
- Semismooth and Semiconvex Functions in Constrained Optimization
- Convergence Analysis of Some Algorithms for Solving Nonsmooth Equations
- Newton's Method for B-Differentiable Equations
- Title not available (Why is that?)
- Convergence of Newton-like methods for singular operator equations using outer inverses
- Convergence of Newton's Method for Singular Smooth and Nonsmooth Equations Using Adaptive Outer Inverses
- A Globally Convergent Successive Approximation Method for Severely Nonsmooth Equations
- Nonsmooth Equations: Motivation and Algorithms
- A method for finding sharp error bounds for Newton's method under the Kantorovich assumptions
- Inexact trust region method for large sparse systems of nonlinear equations
- Local convergence of quasi-Newton methods for B-differentiable equations
- Globally Convergent Newton Methods for Nonsmooth Equations
- On the convergence of Broyden-like methods for nonlinear equations with nondifferentiable terms
- On the convergence of some quasi-Newton methods for nonlinear equations with nondifferentiable operators
- Global Convergence of Damped Newton's Method for Nonsmooth Equations via the Path Search
- Fast Algorithms for Nonsmooth Compact Fixed-Point Problems
- A Note on the Moore Test for Nonlinear Systems
- A Successive Interval Test for Nonlinear Systems
- On the optimal properties of the krawczyk-type interval operator∗
- Safe bounds for the solutions of nonlinear problems using a parallel multisplitting method
- On the R-Order of Newton-Like Methods for Enclosing Solutions of Nonlinear Equations
- Efficient Numerical Validation of Solutions of Nonlinear Systems
Cited In (17)
- An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory
- 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 obstacle problems.
- A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory
- Interval analysis: Theory and applications
- Solving interval constraints by linearization in computer-aided design
- VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS
- Title not available (Why is that?)
- A system of nonsmooth equations solver based upon subgradient method
- Newton-type methods for quasidifferentiable equations
- Verification for existence of solutions of linear complementarity problems
- Pricing American bond options using a cubic spline collocation method
- On the computation of an element of Clarke generalized Jacobian for a vector-valued max function
- Numerical verification of solutions for elasto-plastic torsion problems
- Verified numerical computation for nonlinear equations
- A verified inexact implicit Runge-Kutta method for nonsmooth ODEs
This page was built for publication: A verification method for solutions of nonsmooth equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1362362)
