Existence verification for singular and nonsmooth zeros of real nonlinear systems
DOI10.1090/S0025-5718-02-01427-8zbMath1025.65030OpenAlexW2005318763MaRDI QIDQ4794641
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
algorithmnonlinear systemsnumerical examplesinterval analysistopological degreefinite differenceexistence 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) Algorithms with automatic result verification (65G20) Finite difference and finite volume methods for ordinary differential equations (65L12)
Related Items (4)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Verifying topological indices for higher-order rank deficiencies
- Neural networks for control systems - a survey
- Computing the topological degree of a mapping in \(R^n\)
- An efficient degree-computation method for a generalized method of bisection
- Rigorous global search: continuous problems
- Interval Methods for Systems of Equations
- A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization
- Existence Verification for Singular Zeros of Complex Nonlinear Systems
This page was built for publication: Existence verification for singular and nonsmooth zeros of real nonlinear systems