Abstract
An algorithm is given for computing in a very efficient way the topology of two real algebraic plane curves defined implicitly. The authors preform a symbolic pre-processing that allows us later to execute all numerical computations in an accurate way.
Similar content being viewed by others
References
C. Bajaj and C. M. Hoffmann, Tracing surfaces intersection. Comput. Aided. Geom. Design, 1988, 5: 285–307.
J. Keyser, T. Culver, D. Manocha, and S. Krishnan, Efficient and Exact Manipulation of Algebraic Points and Curves, Comput. Aided. Geom. Design, 2000, 32(11): 649–662.
J. Keyser, T. Culver, D. Manocha, and S. Krishnan, MAPC: A library for efficient and exact manipulation of algebraic points and curves, Proc. 15th Annu. ACM Sympos. Comput. Geom., 1999.
D. Halperin and M. Sharir, Arrangements and their applications in robotics: recent developments. WAFR: Proceedings of the workshop on Algorithmic foundations of robotics, Natick, MA, USA, A. K. Peters, Ltd, 1995.
M. Sharir, Arrangements and their applications, Handbook of Computational Geometry, J. Sack ed., 2000.
X. S. Gao and M. Li, Rational quadratic approximation to real algebraic curves, Comput. Aided Geom. Design, 2004, 21(8): 805–828.
S. Basu, R. Pollack, and M. F. Roy. Algorithms in Real Algebraic Geometry, volume 10 of Algorithms and Computation in Mathematics, Springer-Verlag, Berlin, 2003.
G. E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition, Automata Theory and Formal Languages (Second GI Conf., Kaiser-slautern, 1975), Lecture Notes in Comput. Sci., Vol. 33. Springer, Berlin, 1975.
L. Gonzalez-Vega and I. Necula, Efficient topology determination of implicitly defined algebraic plane curves, Comput. Aided Geom. Design, 2002, 19(9): 719–743.
Y. F. Chen, Lectures on Computer Algebra, Higher Education Press, 2009.
E. Schömer and N. Wolpert, An exact and efficient approach for computing a cell in an arrangement of quadrics, Computational Geometry: Theory and Applications, 2006, 33(1–2): 65–97.
N. Wolpert, An exact and efficient approach for computing a cell in an arrangement of quadrics. PhD thesis, Universität des Saarlandes zu Saarbrücken, 2002.
J. S. Cheng, X. S. Gao, and J. Li, Root isolation for bivariate polynomial systems with local generic position method, ISSAC, 2009: 103–110.
D. S. Arnon, G. E. Collins, and S. McCallum, Cylindrical algebraic decomposition I: The basic algorithm, SIAM J. Comput., 1984, 13(4): 865–877.
Author information
Authors and Affiliations
Corresponding author
Additional information
This paper was recommended for publication by Editor Xiao-Shan GAO.
Rights and permissions
About this article
Cite this article
Gao, B., Chen, Y. Finding the topology of implicitly defined two algebraic plane curves. J Syst Sci Complex 25, 362–374 (2012). https://doi.org/10.1007/s11424-012-1145-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11424-012-1145-7