Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems

DOI10.1137/S0036142901386057zbMath1059.65045OpenAlexW2148289821MaRDI QIDQ4443697

Jianwei Dian, Ralph Baker Kearfott

Publication date: 18 January 2004

Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/s0036142901386057

zbMATH Keywords

algorithmsingularitiesnumerical examplestopological degreeinterval computationsverified computationscomplex nonlinear systems

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30) General theory of numerical methods in complex analysis (potential theory, etc.) (65E05) Algorithms with automatic result verification (65G20)

Related Items (4)

Solving interval constraints by linearization in computer-aided design ⋮ Effective topological degree computation based on interval arithmetic ⋮ Newton's method with deflation for isolated singularities of polynomial systems ⋮ On isolation of simple multiple zeros and clusters of zeros of polynomial systems

Uses Software

• INTOPT_90

This page was built for publication: Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems