Existence Tests for Solutions of Nonlinear Equations Using Borsuk's Theorem

DOI10.1137/S0036142903438148zbMath1095.47057MaRDI QIDQ5700320

Andreas Frommer, Bruno Lang

Publication date: 28 October 2005

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

zbMATH Keywords

nonlinear systemsinterval analysisMiranda's existence theoremBorsuk's theoremcomputational verification

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Fixed-point theorems (47H10) General methods in interval analysis (65G40) Algorithms with automatic result verification (65G20) Applications of operator theory in numerical analysis (47N40)

Related Items (8)

Solving equations and optimization problems with uncertainty ⋮ On computability and triviality of well groups ⋮ Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects ⋮ Proving the existence of zeros using the topological degree and interval arithmetic ⋮ Robust feasibility of systems of quadratic equations using topological degree theory ⋮ Effective topological degree computation based on interval arithmetic ⋮ Quasi-decidability of a fragment of the first-order theory of real numbers ⋮ A framework for existence tests based on the topological degree and homotopy

Uses Software

• INTOPT_90

This page was built for publication: Existence Tests for Solutions of Nonlinear Equations Using Borsuk's Theorem