A verification method for solutions of nonsmooth equations
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3880009 (Why is no real title available?)
- scientific article; zbMATH DE number 3381785 (Why is no real title available?)
- A Globally Convergent Successive Approximation Method for Severely Nonsmooth Equations
- A Note on the Moore Test for Nonlinear Systems
- A Successive Interval Test for Nonlinear Systems
- A method for finding sharp error bounds for Newton's method under the Kantorovich assumptions
- A nonsmooth version of Newton's method
- Convergence Analysis of Some Algorithms for Solving Nonsmooth Equations
- Convergence of Newton's Method for Singular Smooth and Nonsmooth Equations Using Adaptive Outer Inverses
- Convergence of Newton-like methods for singular operator equations using outer inverses
- Efficient Numerical Validation of Solutions of Nonlinear Systems
- Fast Algorithms for Nonsmooth Compact Fixed-Point Problems
- Global Convergence of Damped Newton's Method for Nonsmooth Equations via the Path Search
- Globally Convergent Newton Methods for Nonsmooth Equations
- Inexact trust region method for large sparse systems of nonlinear equations
- Local convergence of quasi-Newton methods for B-differentiable equations
- Newton's Method for B-Differentiable Equations
- Nonsmooth Equations: Motivation and Algorithms
- On the R-Order of Newton-Like Methods for Enclosing Solutions of Nonlinear 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
- On the optimal properties of the krawczyk-type interval operator∗
- Optimization and nonsmooth analysis
- Safe bounds for the solutions of nonlinear problems using a parallel multisplitting method
- Semismooth and Semiconvex Functions in Constrained Optimization
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
- scientific article; zbMATH DE number 5773704 (Why is no real title available?)
- 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)
