Implicitization of curves parameterized by generalized trigonometric polynomials

  • Hoon Hong
Submitted Contributions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 948)


Consider a plane curve given parametrically by a generalized trigonometric polynomial, that is, \(x + iy = \sum {_{k = 1}^n a_k e^{ik\theta } }\). In this paper, we obtain an implicitization of the curve, that is, an equation in x and y which captures all the points on the curve and, if any, only finitely many more points.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    B. Buchberger. An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-Dimensional Polynomial Ideal. PhD thesis, Universitat Innsbruck, Institut fut Mathematik, 1965. German.Google Scholar
  2. 2.
    B. Buchberger. Groebner bases: An algorithmic method in polynomial ideal theory. In N. K. Bose, editor, Recent Trends in Multidimensional Systems Theory, chapter 6. D. Riedel Publ. Comp., 1985.Google Scholar
  3. 3.
    B. W. Char, K. O. Geddes, G. H. Gonnet, and S. M. Watt. Maple User's Guide. WATCOM Publications Limited, 4th edition, 1985.Google Scholar
  4. 4.
    G. E. Collins. The calculation of multivariate polynomial resultants. J. ACM, 18:515–532, 1971.Google Scholar
  5. 5.
    G. E. Collins. Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition. In Lecture Notes In Computer Science, pages 134–183. Springer-Verlag, Berlin, 1975. Vol. 33.Google Scholar
  6. 6.
    G. E. Collins and H. Hong. Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation, 12(3):299–328, September 1991.Google Scholar
  7. 7.
    X.-S. Gao and S.-C. Chou. Implicitization of Rational Parametric Equations. J. Symb. Comput., 14: pages 459–470, 1992.Google Scholar
  8. 8.
    C. M. Hoffmann. Geometric and Solid Modelling — an Introduction. Morgan Kauffmann Publisher, San Mateo, California, 1989.Google Scholar
  9. 9.
    H. Hong. Improvements in CAD-based Quantifier Elimination. PhD thesis, The Ohio State University, 1990.Google Scholar
  10. 10.
    N. I. Ioakimidis and E. G. Anastasselou. Derivation of the Equation of Caustics in Cartesian Coordiantes with Maple. Engineering Fracture Mechanics, 48(1):147–149, 1994.Google Scholar
  11. 11.
    M. Kalkbrener. Implicitization of Rational Curves and Surfaces. In Sakata, editor, Lect. Notes in Comp. Sci. 508, AAECC-8, Tokyo, Japan, Aug. 1990.Google Scholar
  12. 12.
    W. T. Wu.. Basic principles of mechianical theorem proving in elementary geometries. Journal of Automated Reasoning, 2:221–252, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Hoon Hong
    • 1
  1. 1.Research Institute for Symbolic ComputationJohannes Kepler UniversityLinzAustria

Personalised recommendations