Algorithms to compute the topology of orientable real algebraic surfaces

Journal of Symbolic Computation

Volumn 36, Issue 3-4, 2003, Pages 343-364

  Fortuna, E ^a   Gianni, P ^a   Parenti, P ^a   Traverso, C ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0041704763     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0747-7171(03)00085-3     Document Type: Article

References (40)

1. Arnborg, S., Feng, H., 1988. Algebraic decomposition of regular curves. J. Symbolic Comput. 5 (1-2), 131-140.
2. Arnon, D.S., 1988. Geometric reasoning with logic and algebra. Artificial Intelligence 37, 37-60.
3. Arnon, D.S., McCallum, S., 1988. A polynomial-time algorithm for the topological type of a real algebraic curve. J. Symbolic Comput. 5 (1-2), 213-236.
4. Aubry, P., Lazard, D., Moreno Maza, M., 1999. On the theories of triangular sets. J. Symbolic Comput. 28 (1-2), 105-124.
5. Aubry, P., Rouillier, F., Safey El Din, M., 2002. Real solving for positive dimensional systems. J. Symbolic Comput. 34 (6), 543-560.
6. Auzinger, W., Stetter, H.J., 1988. An elimination algorithm for the computation of all zeros of a system of multivariate polynomial equations. In: Numerical Mathematics (Singapore, 1988). Birkhäuser, Basel, pp. 11-30.
7. Basu, S., Pollack, R., Roy, M.-F., 2000. Computing roadmaps of semi-algebraic sets on a variety. J. Amer. Math. Soc. 13 (1), 55-82.
8. Basu, S., Pollack, R., and Roy, M.-F., 2003. Algorithms in Real Algebraic Geometry. Algorithms and Computat. in Mathematics, vol. 10. Springer-Verlag.
9. Bouziane, D., El Kahoui, M., 2002. Computation of the dual of a plane projective curve. J. Symbolic Comput. 34, 105-117.
10. Canny, J., 1988. The Complexity of Robot Motion Planning. MIT Press, Cambridge, MA.
11. Cellini, P., Gianni, P., Traverso, C., 1991. Algorithms for the shape of semialgebraic sets. A new approach. In: Applied Algebra, Algebraic Algorithms and Error-correcting Codes (New Orleans, LA, 1991). Springer, Berlin, pp. 1-18.
12. Cohen, A.M., Cuypers, H., Sterk, H., 1999. Some Tapas of Computer Algebra. Springer-Verlag, Berlin.
13. Collins, G., 1975. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Automata Theory and Formal Languages (Second GI Conf., Kaiserslautern, 1975). Lecture Notes in Computer Science, vol. 33. Springer, Berlin, pp. 134-183.
14. Cucker, F., González-Vega, L., Rossello, F, 1991. On algorithms for real algebraic plane curves. In: Effective Methods in Algebraic Geometry (Castiglioncello, 1990). Birkhäuser, Boston, MA, pp. 63-87.
15. Degtyarev, A., Itenberg, I., Kharlamov, V., 2000. Real Enriques Surfaces. Lecture Notes in Mathematics, vol. 1746. Springer-Verlag, Berlin.
16. Fortuna, E., Gianni, P., Parenti, P., 2003. Some constructions for real algebraic curves. Pubbl. Dip. Mat. Univ. Pisa, 1.285.1441.
17. Gianni, P., Mora, T., 1989. Algebraic solution of systems of polynomial equations using Groebner bases. In: Applied Algebra, Algebraic Algorithms and Error-correcting Codes (Menorca, 1987). Lecture Notes in Computer Science, vol. 356. Springer, Berlin, pp. 247-257.
18. Gianni, P., Trager, B., Zacharias, G., 1988. Gröbner bases and primary decomposition of polynomial ideals. J. Symbolic Comput. 6, 149-167.
19. Gianni, P., Traverso, C., 1983. Shape determination for real curves and surfaces. Ann. Univ. Ferrara Sez. VII (N.S.) 29, 87-109.
20. Gonzalez-Vega, L., Lombardi, H., Recio, T., Roy, M.-F., 1989. Sturm-Habicht sequence. In: Proceedings of ISSAC'89. pp. 136-145.
21. Gonzalez-Vega, L., Recio, T., Lombardi, H., Roy, M.-F., 1998. Sturm-Habicht sequence, determinants and real roots of univariate polynomials. In: Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer-Verlag, New York, pp. 300-316.
22. Gonzalez-Vega, L., Rouillier, F., Roy, M.-F., Trujillo, G., 1999. Symbolic recipes for real solutions. In: Some Tapas of Computer Algebra. Springer, Berlin, pp. 121-167.
23. Gournay, L., Risler, J.-J., 1993. Construction of roadmaps in semi-algebraic sets. Appl. Algebra Engrg. Comm. Comput. 4, 239-252.
24. Habicht, W., 1948. Eine Verallgemeinerung des Sturmschen Wurzelzählverfahrens. Comment. Math. Helv. 21, 99-116.
25. Heintz, J., Roy, M.-F, Solernó, P., 1994. Single exponential path finding in semi-algebraic sets. II. The general case. In: Algebraic Geometry and its Applications (West Lafayette, IN, 1990). Springer, New York, pp. 449-465.
26. Hirsch, M.W., 1976. Differential Topology. Graduate Texts in Mathematics, vol. 33. Springer-Verlag, New York.
27. Massey, W.S., 1977. Algebraic Topology: An Introduction. Springer-Verlag, New York, reprint of the 1967 edition, Graduate Texts in Mathematics, vol. 56.
28. Massey, W.S., 1991. A Basic Course in Algebraic Topology. Springer-Verlag, New York.
29. Milnor, J., 1963. Morse Theory. Princeton University Press. Princeton, NJ.
30. Milnor, J., 1968. Singular Points of Complex Hypersurfaces. Annals of Mathematics Studies, vol. 61. Princeton University Press, Princeton, NJ.
31. Roy, M.-F, 1990. Computation of the topology of a real curve. Astérisque 192, 17-33. Algorithmique, topologie et géométrie algébriques (Seville, 1987 and Toulouse, 1988).
32. Roy, M.-F., 1996. Basic algorithms in real algebraic geometry and their complexity: from Sturm's theorem to the existential theory of reals. In: Lectures in Real Geometry (Madrid, 1994) de Gruyter Exp. Math., vol. 23. de Gruyter, Berlin, pp. 1-67.
33. Viro, O.Y., 1986. Progress in the topology of real algebraic varieties over the last six years. Russian Math. Surveys 41, 55-82.
34. Volcheck, E., 1997. On computing the dual of a plane algebraic curve. In: Proceedings of ISSAC'97. pp. 356-358.
35. Wilson, G., 1978. Hilbert's sixteenth problem. Topology 17 (1), 53-73.
36. Winkler, F., 2000. Advances and problems in algebraic computation. In: Contributions to General Algebra, vol. 12 (Vienna, 1999). Heyn, Klagenfurt, pp. 51-70.
37. Yang, L., 1999. Recent advances on determining the number of real roots of parametric polynomials. J. Symbolic Comput. 28, 225-243.
38. Yang, L., Hou, X., Zeng, Z., 1996a. A complete discrimination system for polynomials. Sci. China Ser. E 39 6, 628-646.
39. Yang, L., Zhang, J., Hou, X., 1996b. Non-Linear Equation Systems and Automated Theorem Proving. Technology and Education. Shanghai Press of Science.
40. Zeuthen, H., 1874. Sur les differentes formes des courbes planes du quatrieme ordre. Math. Ann. 7, 410-432.