Complexity of cylindrical decompositions of sub-Pfaffian sets

Journal of Pure and Applied Algebra

Volumn 164, Issue 1-2, 2001, Pages 179-197

  Gabrielov, Andrei ^a   Vorobjov, Nicolai ^b  

^a PURDUE UNIVERSITY   (United States)

^b University of Bath   (United Kingdom)

Author keywords

03C64; 32B20; 68W30

Indexed keywords

EID: 0005389882     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(00)00149-3     Document Type: Article

References (19)

1. Basu S., Pollack R., Roy M.-F. On the combinatorial and algebraic complexity of quantifier elimination. J. ACM. 43:1996;1002-1045.
2. Bierstone E., Milman P. Geometric and differential properties of subanalytic sets. Bull. Amer. Math. Soc. 25:1991;385-393.
3. Blum L., Cucker F., Shub M., Smale S. Complexity and Real Computation. 1997;Springer, New York.
4. G.E. Collins, Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition, Lecture Notes in Computer Science, vol. 33, Springer, Berlin, 1975, pp. 134-183.
5. Denef J., van den Dries L. p -adic and real subanalytic sets Ann. Math. 128:1988;79-138.
6. van den Dries L. Tame Topology and O-minimal Structures. LMS Lecture Note Series. vol. 248:1998;Cambridge University Press, Cambridge.
7. van den Dries L., Macintyre A., Marker D. The elementary theory of restricted analytic fields with exponentiation. Ann. Math. 140:1994;183-205.
8. Gabrielov A. Projections of semi-analytic sets. Functional Anal. Appl. 2:1968;282-291.
9. Gabrielov A. On complements of subanalytic sets and existential formulas for analytic functions. Invent. Math. 125:1996;1-12.
10. Gabrielov A. Frontier and closure of a semi-Pfaffian set. Discrete Comput. Geom. 19:1998;605-617.
11. Gabrielov A., Vorobjov N. Complexity of stratifications of semi-Pfaffian sets. Discrete Comput. Geom. 14:1995;71-91.
12. Grigoriev D., Vorobjov N. Solving systems of polynomial inequalities in subexponential time. J. Symbolic Comput. 5:1988;37-64.
13. Khovanskii A. On a class of systems of transcendental equations. Soviet Math. Dokl. 22:1980;762-765.
14. Khovanskii A. Fewnomials. AMS Transl. Math. Monographs. vol. 88:1991;AMS, Providence, RI.
15. Koopman B.O., Brown A.B. On the covering of analytic loci by complexes. Trans. Amer. Math. Soc. 34:1932.
16. Vorobjov N. The complexity of deciding consistency of systems of polynomial in exponent inequalities. J. Symbolic Comput. 13:1992;139-173.
17. A. Wilkie, A general theorem of the complement and some new o-minimal structures, Preprint, Oxford University, 1997.
18. H.R. Wüthrich, Ein Entschedungsvefahren für die Theorie der reell-abgeschlossenen Körper, Lecture Notes in Computer Science, vol. 43, Springer, Berlin, 1976, pp. 138-162.
19. Zell T. Betti numbers of semi-Pfaffian sets. J. Pure Appl. Algebra. 139:1999;323-338.