A singly exponential stratification scheme for real semi-algebraic varieties and its applications
- 22 July 1991
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 84 (1) , 77-105
- https://doi.org/10.1016/0304-3975(91)90261-y
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic setsJournal of Symbolic Computation, 1988
- Solving systems of polynomial inequalities in subexponential timeJournal of Symbolic Computation, 1988
- Real quantifier elimination is doubly exponentialJournal of Symbolic Computation, 1988
- Planar point location using persistent search treesCommunications of the ACM, 1986
- Searching and storing similar listsJournal of Algorithms, 1986
- On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifoldsAdvances in Applied Mathematics, 1983
- On Euclid's Algorithm and the Theory of SubresultantsJournal of the ACM, 1971
- An inequality for the discriminant of a polynomial.The Michigan Mathematical Journal, 1964
- On the Betti numbers of real varietiesProceedings of the American Mathematical Society, 1964
- Elementary Structure of Real Algebraic VarietiesAnnals of Mathematics, 1957