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

zbMATH Keywords

algorithmnonlinear systemsnumerical examplesinterval analysistopological degreefinite differenceexistence verificationnonlinear two point boundary valuep problem

Mathematics Subject Classification ID

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)

Solving equations and optimization problems with uncertainty ⋮ Verifying topological indices for higher-order rank deficiencies ⋮ Effective topological degree computation based on interval arithmetic ⋮ On isolation of simple multiple zeros and clusters of zeros of polynomial systems

Uses Software

• INTOPT_90

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