A singly-exponential stratification scheme for real semi-algebraic varieties and its applications
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 179-193
- https://doi.org/10.1007/bfb0035760
Abstract
No abstract availableKeywords
This publication has 37 references indexed in Scilit:
- 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
- Generalized Polynomial Remainder SequencesPublished by Springer Nature ,1983
- Computing in Algebraic ExtensionsPublished by Springer Nature ,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