Description of the connected components of a semialgebraic set in single exponential time

Discrete & Computational Geometry

Volumn 11, Issue 1, 1994, Pages 121-140

  Heintz, Joos ^a   Roy, Marie Francoise ^b   Solernó, Pablo ^a  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b UNIVERSITÉ DE RENNES 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 51249167424     PISSN: 01795376     EISSN: 14320444     Source Type: Journal    
DOI: 10.1007/BF02573999     Document Type: Article

References (22)

1. Finding connected components of a semialgebraic set in subexponential time
2. Quantifier elimination for real closed fields by cylindric algebraic decomposition
3. Parallel arthmetic computations: a survey
4. Complexity of deciding Tarski algebra
5. Comptage des composantes connexes d'un ensemble semi-algébrique en temps simplement exponentiel
6. Solving systems of polynomial inequalities in subexponential time
7. On the complexity of semialgebraic sets
8. Sur la complexité du principe de Tarski-Seidenberg
9. Single exponential path finding in semi-algebraic sets. Part I: The case of a regular bounded hypersurface
10. Description des composantes connexes d'un ensemble semi-algébrique en temps simplement exponential
11. On the computational complexity and geometry of the first order theory of the reals, I
12. On the computational complexity and geometry of the first order theory of the reals, II
13. On the computational complexity and geometry of the first order theory of the reals, III
14. On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds
15. Ein Entscheidungsverfahren für die Theorie der reell-abgeschlos-senen Körper