Effective topological degree computation based on interval arithmetic
From MaRDI portal
Publication:5179223
DOI10.1090/S0025-5718-2014-02877-9zbMath1318.55002arXiv1207.6331OpenAlexW2963174033MaRDI QIDQ5179223
Publication date: 19 March 2015
Published in: Mathematics of Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1207.6331
Software, source code, etc. for problems pertaining to algebraic topology (55-04) Classification of homotopy type (55P15) Degree, winding number (55M25) Software, source code, etc. for problems pertaining to computer science (68-04) Numerical methods for functional equations (65Q20)
Related Items
Solving equations and optimization problems with uncertainty ⋮ Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming ⋮ Robust feasibility of systems of quadratic equations using topological degree theory ⋮ Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test ⋮ Quasi-decidability of a fragment of the first-order theory of real numbers
Uses Software
Cites Work
- Complexity of computing topological degree of Lipschitz functions in n dimensions
- A set of axioms for the degree of a tangent vector field on differentiable manifolds
- A framework for existence tests based on the topological degree and homotopy
- Computing the topological degree of a mapping in \(R^n\)
- An efficient degree-computation method for a generalized method of bisection
- A simplification of Stenger's topological degree formula
- A comparison of the Moore and Miranda existence tests
- Quasi-decidability of a fragment of the first-order theory of real numbers
- Partial differential equations 1. Foundations and integral representations. With consideration of lectures by E. Heinz
- Verification methods: Rigorous results using floating-point arithmetic
- Introduction to Interval Analysis
- A Comparison of the Existence Theorems of Kantorovich and Moore
- Interval Methods for Systems of Equations
- The Calculation of the Topological Degree by Quadrature
- Differential Topology
- Computing the Brouwer Degree in R 2
- Computation of Topological Degree Using Interval Arithmetic, and Applications
- Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems
- Existence Verification for Singular Zeros of Complex Nonlinear Systems
- Existence verification for singular and nonsmooth zeros of real nonlinear systems
- Computability and Representations of the Zero Set
- Existence Tests for Solutions of Nonlinear Equations Using Borsuk's Theorem
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item