The complexity of stratification computation

Discrete and Computational Geometry

Volumn 19, Issue 1, 1998, Pages 47-78

  Rannou, E ^a  

^a UNIVERSITÉ DE BRETAGNE OCCIDENTALE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032331408     PISSN: 01795376     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00009335     Document Type: Article

References (20)

1. K. Bekka. C-régularité et trivialité topologique, Warwick Singularity Theory Symposium, 1989, pp. 42-62, 1991.
2. K. Bekka. Regular quasi-homogeneous stratification. Séminaire Hawaii Marseille. Travaux en Cours. To appear.
3. J. Bochnak, M. Coste, and M. F. Roy. Géometrie Algébrique Réelle, Springer-Verlag, New York, 1987.
4. J. Canny. The Complexity of Robot Motion Planning, MIT Press, Cambridge, MA, 1989.
5. J. Canny, D. Grigor'ev, and N. Vorobjov. Finding connected components of a semialgebraic set in subexponential time, Springer AAECC J., 2 (1992), 217-238.
6. A. Chistov and D. Grigoryev. Subexponential time solving systems of algebraic equations II, manuscript, L.O.M.I. preprints E. 10.83, Steklov Institute of Leningrad, 1983.
7. J. H. Davenport and J. Heintz. Real quantifier elimination is doubly exponential, J. Symbolic Comput., 5 (1988), 29-35.
8. C. G. Gibson, K. Wirthmuller, A. A. Du Plessis, and E. J. N. Looijenga. Topological Stability of Smooth Mappings, Lecture Notes, vol. 552, Springer-Verlag, New York, 1976.
9. D. Grigor'ev, J. Heintz, M. F. Roy, P. Solerno, and N. Vorobjov. Comptage des composantes connexes d'un ensemble semi-algébrique en temps simplement exponentiel, C.R. Acad. Sci. Paris, 311 (1990), 879-882.
10. D. Grigor'ev and N. Vorobjov. Solving systems of polynomial inequalities in subexponential time, J. Symbolic Comput., 5 (1988), 37-64.
11. J. Heintz, M. F. Roy, and P. Solerno. Sur la complexité du principe de Tarski-Seidenberg, Bull. Math. Soc. France, 118 (1990), 101-126.
12. J. Heintz, M. F. Roy, and P. Solerno. Description of the connected components of a semialgebraic set in simply exponentional time, Manuscript, IRMAR, Université de Rennes, 1991.
13. J. N. Mather. Stratifications and Mappings, Dynamical Systems, Academic Press, New York, 1973, pp. 195-232.
14. J. B. Poly and G. Raby. Fonction distance et singularités, Bull. Sci. Math., 2e série, 108 (1984), 187-195.
15. J. Renegar. On the computational complexity and geometry of the first order theory of the reals. Parts I-III, J. Symbolic Comput., 13 (1992), 255-352.
16. B. Teissier. Variétés polaires 2. Multiplicités polaires, sections planes, et conditions de Whitney, Actes de la conférence de géométrie algébrique à La Ràbida, 1981, Lecture Notes, vol. 961, Springer-Verlag, New York, 1982, pp. 314-491.
17. R. Thom. Ensembles et morphismes stratifiés, Bull. Amer. Math. Soc., 75 (1969), 240-284.
18. D. Trotman. Geometric versions of Whitney regularity. Math. Proc. Cambridge Philos. Soc., (1976), 80, 99.
19. J. Von Zur Gathen. Parallel arithmetic computations: A survey, Proc. 13th Symp. MFCS 1986, Lecture Notes in Computer Science, vol. 233, Springer-Verlag, Berlin, 1986, pp. 93-112.
20. N. Vorobjov. Effective stratification of regular real algebraic varities, Real Algebraic Geometry, Proceedings, Rennes, 1991, Lecture Notes, vol. 1524, Springer-Verlag, New York, pp. 402-415.