An efficient method for analyzing the topology of plane real algebraic curves

Mathematics and Computers in Simulation

Volumn 42, Issue 4-6, 1996, Pages 571-582

  Hong, Hoon ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Algebraic curve; Counting; Isolation; Real roots; Topology

Indexed keywords

ALGEBRA; COMPUTATIONAL GEOMETRY; COMPUTER WORKSTATIONS; DIGITAL ARITHMETIC; GRAPH THEORY; POLYNOMIALS; ROOT LOCI; TOPOLOGY;

ALGEBRAIC CURVE; BIVARIATE POLYNOMIAL; COUNTING; EUCLIDEAN PLANE; ISOLATION; REAL ROOTS;

ALGORITHMS;

EID: 0030288245     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0378-4754(96)00034-1     Document Type: Article

References (28)

1. Acton and Forman, Numerical Method That Work (Harper and Row, New York, 1970).
2. A. Akritas and G.E. Collins, Polynomial real root isolation using Descartes' rule of signs, in: Proc. SYMSAC 76 (ACM, New York, 1976) 272-275.
3. M. E. Alonso and M. Raimondo. The computation of the topology of a planar semi-algebraic set, Rend. Sem. Mat. Univ. Politecnico Torino, 1989.
4. S. Arnborg and H. Feng, Algebraic decomposition of regular curves, J. Symbolic Comput. 5 (1,2) (1988) 131-140.
5. D.S. Arnon, G. E. Collins and S. McCallum, Cylindrical algebraic decomposition II: An adjacency algorithm for the plane, SIAM J. Comput. 13 (1984) 878-889.
6. D.S. Arnon and S. McCallum, A polynomial-time algorithm for the topological type of a real algebraic curve, J. Symbolic Comput. 5 (1988).
7. W.S. Brown, The subresultant prs algorithm, ACM Trans. Math. Software 4 (1978) 237-249.
8. B. Buchberger, G. Collins, M. Encarnación, H. Hong, J. Johnson, W. Krandick, R. Loos and A. Neubacher, A SACLIB Primer, Technical Report 92-34, RISC-Linz, Johannes Kepler University, Linz, Austria.
9. P. Cellini, P. Gianni and C. Traverso, Algorithms for the shape of semialgebraic sets: A new approach, in: AAECC-9. (Springer, Berlin, 1991).
10. G.E. Collins, Subresultants and reduced polynomial remainder sequences, J. ACM 14 (1967) 128-142.
11. G.E. Collins and R. Loos, Polynomial real root isolation by differentiation, in: Proc. SYMSAC 76 (ACM, New York, 1976) 15-25.
12. F. Cucker, L. Gonzalez Vega and F. Rossello, On algorithms for real algebraic plane curves, in: Effective Methods in Algebraic Geometry (Birkhauser, Basel, 1991).
13. F. Cucker, L.M. Pardo, M. Raimondo, T. Recio and M.F. Roy, Computation of the local and global analytic structure of a real curve, in: AAECC-5 (Springer, Berlin, 1988).
14. D. Duval and M.-F. Roy, Curves and computer algebra, in: Geometry and Robotics, Lecture Notes in Computer Science 391 (Springer, Berlin, 1988) 28-42.
15. H. Feng, Decomposition and computation of the topology of plane real algebraic curves, Ph.D. Thesis, The Royal Institute of Technology, Stockholm, Sweden, 1992.
16. P. Gianni and C. Traverso, La forma delle curve algebriche reali piane. Realizzazione di un algoritmo, in: Curve algebriche. Atti del convegno di Geometria Algebrica, Firenze (Consiglio Nazionale delle Ricerche, IAGA, 1981).
17. P. Gianni and C. Traverso, Shape determination of real curves and surfaces, Ann. Univ. Ferrara, Sez. VII, Sec. Math. XXIX (1983).
18. L. Gonzalez-Vega, H. Lombardi, T. Recio and M.-F. Roy, Sturm - Habicht sequences, in: Proc. ACM-SIGSAM Internat. Symp. on Symbolic and Algebriaic Computation (1989) 136-146.
19. L.E. Heindel, Algorithms for exact polynomial root calculation, Ph.D. Thesis, University of Wisconsin, 1970.
20. L.E. Heindel, Integer arithmetic algorithms for polynomial real zero determination, J. ACM. 18 (4) (1971) 533-548.
21. J.R. Johnson, Algorithms for polynomial real root isolation, Ph.D. Thesis, The Ohio State University, 1991.
22. M. Kac, On the average number of real roots of a random algebraic equation, Bull. Amer. Math. Soc. 49 (1943) 314-320,938.
23. R.G.K. Loos, Generalized polynomial remainder sequences, in: B. Buchberger, G.E. Collins and R.G.K. Loos, eds., Computer Algebra, Symbolic and Algebraic Computation (Springer, Wien, 1982) 115-137.
24. R.E. Moore, Methods and Applications of Interval Arithmetic, Stud. Appl. Math. SIAM (1979).
25. M.-F. Roy, Private communication.
26. M.-F. Roy, Computation of the topology of a real algebraic curve, in: Proc. Computational Geometry and Topology, Sevilla, 1987.
27. S.M. Rump, On the sign of a real algebraic number, in: Proc. ACM Symp. on Symbolic and Algebraic Computation (ACM, New York, 1976) 238-241.
28. L. Gonzalez-Vega, Working with algebraic plane curves in reduce: The gcur package, in: ISSAC-91 (ACM, New York, 1991).