Existence verification for singular and nonsmooth zeros of real nonlinear systems
DOI10.1090/S0025-5718-02-01427-8zbMATH Open1025.65030OpenAlexW2005318763MaRDI QIDQ4794641FDOQ4794641
Authors: Jianwei Dian, Ralph Baker Kearfott 
Publication date: 19 February 2003
Published in: Mathematics of Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/s0025-5718-02-01427-8
Recommendations
- Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems
- Existence Verification for Singular Zeros of Complex Nonlinear Systems
- Proving the existence of zeros using the topological degree and interval arithmetic
- On existence and uniqueness verification for non-smooth functions
- Existence Tests for Solutions of Nonlinear Equations Using Borsuk's Theorem
numerical examplesalgorithmfinite differencenonlinear systemsinterval analysistopological degreeexistence verificationnonlinear two point boundary valuep problem
Numerical computation of solutions to systems of equations (65H10) Nonlinear boundary value problems for ordinary differential equations (34B15) General methods in interval analysis (65G40) Numerical solution of boundary value problems involving ordinary differential equations (65L10) Finite difference and finite volume methods for ordinary differential equations (65L12) Algorithms with automatic result verification (65G20)
Cites Work
- Rigorous global search: continuous problems
- Title not available (Why is that?)
- Computing the topological degree of a mapping in \(R^n\)
- Interval Methods for Systems of Equations
- Existence Verification for Singular Zeros of Complex Nonlinear Systems
- Neural networks for control systems - a survey
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An efficient degree-computation method for a generalized method of bisection
- Verifying topological indices for higher-order rank deficiencies
- A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization
- Title not available (Why is that?)
Cited In (9)
- Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems
- Verifying topological indices for higher-order rank deficiencies
- Solving equations and optimization problems with uncertainty
- A verified method of singular solutions of overdetermined nonlinear systems
- On existence and uniqueness verification for non-smooth functions
- Verified error bounds for singular solutions of nonlinear systems
- Effective topological degree computation based on interval arithmetic
- On isolation of simple multiple zeros and clusters of zeros of polynomial systems
- Existence Verification for Singular Zeros of Complex Nonlinear Systems
Uses Software
This page was built for publication: Existence verification for singular and nonsmooth zeros of real nonlinear systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4794641)
