Single Exponential Path Finding in Semi-algebraic Sets, Part II: The General Case
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Sur la complexité du principe de Tarski-SeidenbergBulletin de la Société Mathématiques de France, 1990
- Complexity of deciding Tarski algebraJournal of Symbolic Computation, 1988
- Solving systems of polynomial inequalities in subexponential timeJournal of Symbolic Computation, 1988
- On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifoldsAdvances in Applied Mathematics, 1983
- Quantifier elimination for real closed fields by cylindrical algebraic decompostionPublished by Springer Nature ,1975