Verifying topological indices for higher-order rank deficiencies
DOI10.1006/jcom.2001.0634zbMath1005.65049OpenAlexW2112417391MaRDI QIDQ700182
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
system of nonlinear equationsinterval arithmeticresult verificationtopological indicescomputational 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)
Related Items (1)
Uses Software
Cites Work
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- 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
- Computational complexity and feasibility of data processing and interval computations
- Numerical Decomposition of the Solution Sets of Polynomial Systems into Irreducible Components
- Characterization and Computation of Generalized Turning Points
- On Solving Nonlinear Equations with Simple Singularities or Nearly Singular Solutions
- Bounding the Solution of Interval Linear Equations
- Computation of Topological Degree Using Interval Arithmetic, and Applications
- Computation of Singularities in Large Nonlinear Systems
- Algorithm 763: INTERVAL_ARITHMETIC
- Numerical Methods for the Generalized Hopf Bifurcation
- Existence Verification for Singular Zeros of Complex Nonlinear Systems
- Existence verification for singular and nonsmooth zeros of real nonlinear systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Verifying topological indices for higher-order rank deficiencies
