Computing roadmaps of semi-algebraic sets on a variety

Journal of the American Mathematical Society

Volumn 13, Issue 1, 2000, Pages 55-82

  Basu, Saugata ^a   Pollack, Richard ^b   Roy, Marie Françoise ^c  

^a UNIVERSITY OF MICHIGAN   (United States)

^b NEW YORK UNIVERSITY   (United States)

^c UNIVERSITÉ DE RENNES 1   (France)

Author keywords

Roadmaps; Semi algebraic sets; Variety

Indexed keywords

EID: 0034411090     PISSN: 08940347     EISSN: None     Source Type: Journal    
DOI: 10.1090/s0894-0347-99-00311-2     Document Type: Article

References (24)

1. S. BASU, R. POLLACK, M.-F. ROY On the combinatorial and algebraic complexity of Quantifier Elimination, J. Assoc. Comput. Machin., 43, 1002-1045, (1996). MR 98c:03077
2. S. BASU, R. POLLACK, M.-F. ROY Computing Roadmaps of Semi-algebraic Sets, Proc. 28th Annual ACM Symposium on the Theory of Computing, 168-173, (1996). CMP 97:06
3. S. BASU, R. POLLACK, M.-F. ROY On Computing a Set of Points meeting every Semi-algebraically Connected Component of a Family of Polynomials on a Variety, J. Complexity, Vol 13, Number 1, 28-37 (1997). MR 98d:14071
4. S. BASU, R. POLLACK, M.-F. ROY Computing Roadmaps of Semi-algebraic Sets on a Variety, Foundations of Computational Mathematics, F. Cucker and M. Shub, Eds., 1-15, (1997). CMP 99:05
5. J. BOCHNAK, M. COSTE, M.-F. ROY Real algebraic geometry. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, Bd. 36, Berlin: Springer-Verlag (1998). CMP 99:07
6. J. CANNY, The Complexity of Robot Motion Planning, MIT Press (1987). MR 89m:68142
7. J. CANNY, Computing road maps in general semi-algebraic sets, The Computer Journal, 36: 504-514, (1993). MR 94i:68108
8. J. CANNY, D. GRIGOR'EV, N. VOROBJOV Finding connected components of a semi-algebraic set in subexponential time, Applic. Alg. Eng. Comput. 2: 217-238 (1992). MR 95m:03078
9. G. E. COLLINS, Quantifier elimination for real closed fields by cylindrical algebraic decomposition, Autom. Theor. form. Lang., 2nd GI Conf., Kaiserslautern 1975, Lect. Notes Comput. Sci. 33, 134-183 (1975). MR 53:7771
10. M. COSTE, M.-F. ROY Thom's lemma, the coding of real algebraic numbers and the topology of semi-algebraic sets, J. Symb. Comput. 5, No.1/2, 121-129 (1988). MR 89g:12002
11. M. COSTE, M. SHIOTA Nash triviality in families of Nash manifolds, Invent. Math. 108, 349-368 (1992). MR 93e:14066
12. D. GRIGOR'EV, N. VOROBJOV Counting connected components of a semi-algebraic set in subexponential time, Comput. Complexity 2, No.2, 133-186 (1992). MR 94a:68062
13. L. GOURNAY, J. J. RISLER Construction of roadmaps of semi-algebraic sets, Appl. Algebra Eng. Commun. Comput. 4, No.4, 239-252 (1993). MR 94j:14049
14. R. M. HARDT Semi-algebraic Local Triviality in Semi-algebraic Mappings, Am. J. Math. 102, 291-302 (1980). MR 81d:32012
15. J. HEINTZ, M.-F. ROY, P. SOLERNÒ Single exponential path finding in semi-algebraic sets I: The case of a regular hypersurface, Discrete and Applied Math., Proc.AAECC-8 Tokyo, 1990; Lectures Notes in Comp. Sci. 508, Springer-Verlag 180-186 (1991). MR 92j:14072
16. J. HEINTZ, M.-F. ROY, P. SOLERNÒ Single exponential path finding in semi-algebraic sets I: The case of a regular hypersurface, Discrete and Applied Math., Proc.AAECC-8 Tokyo, 1990; Lectures Notes in Comp. Sci. 508, Springer-Verlag 180-186 (1991). MR 92j:14072
17. J. HEINTZ, M.-F. ROY, P. SOLERNÒ Single exponential path finding in semi-algebraic sets II : The general case, Bajaj, Chandrajit L. (ed.), Algebraic geometry and its applications. Collections of papers from Shreeram S. Abhyankar's 60th birthday conference held at Purdue University, West Lafayette, IN, USA, June 1-4, 1990. New York: Springer-Verlag, 449-465 (1994). MR 951:14054
18. J.-C. LATOMBE Robot Motion Planning, The Kluwer International Series in Engineering and Computer Science. 124. Dordrecht: Kluwer Academic Publishers Group (1991).
19. J. MILNOR Morse Theory, Princeton: Princeton Univ. Press (1963). MR 29:634
20. J. RENEGAR On the computational complexity and geometry of the first order theory of the reals, parts I, II and III., J. Symb. Comput., 13 (3) 255-352, (1992). MR 93h:03011a; MR 93h:03011b; MR 93h:03011c
21. F. ROUILLIER, M.-F. ROY, M. SAFEY Finding at least a point in each connected component of a real algebraic set defined by a single equation, to appear in Journal of Complexity.
22. M.-F. ROY, N.N. VOROBJOV Finding irreducible components of some real transcendental varieties, Journal of Computationnal Complexity 4 107-132 (1994). MR 95g:68056
23. M.-F. ROY, N. VOROBJOV Computing the Complexification of a Semi-algebraic Set, Proc. of International Symposium on Symbolic and Algebraic Computations, 1996, 26-34 (complete version to appear in Math. Zeitschrift).
24. J. SCHWARTZ, M. SHARIR On the 'piano movers' problem II. General techniques for computing topological properties of real algebraic manifolds, Adv. Appl. Math. 4, 298-351 (1983). MR 85h:52014