Verifying topological indices for higher-order rank deficiencies
DOI10.1006/JCOM.2001.0634zbMATH Open1005.65049OpenAlexW2112417391MaRDI QIDQ700182FDOQ700182
Jianwei Dian, Ralph Baker Kearfott
Publication date: 30 September 2002
Published in: Journal of Complexity (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/0106d1502e7becb65adcfc88ce2bbf770abb1f07
Recommendations
- Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems
- Existence verification for singular and nonsmooth zeros of real nonlinear systems
- On existence and uniqueness verification for non-smooth functions
- Verified error bounds for singular solutions of nonlinear systems
- Existence Verification for Singular Zeros of Complex Nonlinear Systems
interval arithmeticsystem of nonlinear equationstopological indicesresult verificationcomputational fixed point theoremshigher-order rank deficiencies
Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20)
Cites Work
- Rigorous global search: continuous problems
- Algorithm 763: INTERVAL_ARITHMETIC
- Computing the topological degree of a mapping in \(R^n\)
- Existence Verification for Singular Zeros of Complex Nonlinear Systems
- Title not available (Why is that?)
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Title not available (Why is that?)
- Computational complexity and feasibility of data processing and interval computations
- Title not available (Why is that?)
- Numerical decomposition of the solution sets of polynomial systems into irreducible components
- Bounding the Solution of Interval Linear Equations
- On Solving Nonlinear Equations with Simple Singularities or Nearly Singular Solutions
- Characterization and Computation of Generalized Turning Points
- Numerical Methods for the Generalized Hopf Bifurcation
- An efficient degree-computation method for a generalized method of bisection
- Computation of Singularities in Large Nonlinear Systems
- Optimal solution of nonlinear equations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computation of Topological Degree Using Interval Arithmetic, and Applications
- Existence verification for singular and nonsmooth zeros of real nonlinear systems
Cited In (1)
Uses Software
This page was built for publication: Verifying topological indices for higher-order rank deficiencies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q700182)
