Algorithms for trigonometric curves (simplification, implicitization, parameterization)

Journal of Symbolic Computation

Volumn 26, Issue 3, 1998, Pages 279-300

  Hong, Hoon ^a   Schicho, Josef ^b  

^a NORTH CAROLINA STATE UNIVERSITY   (United States)

^b JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032164109     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1998.0212     Document Type: Article

References (38)

1. Abhyankar, S. S. (1990). Algebraic Geometry for Scientists and Engineers. No. 35 in Mathematical Surveys and Monographs. Providence, RI, American Mathematical Society.
2. Abhyankar, S. S., Bajaj, B. (1987). Automatic parametrization of curves and surfaces III. Comput. Aided Geometric Des., 5-4, 309-323.
3. Alonso, C., Gutierrez, J., Recio, T. (1995). Reconsidering algorithms for real parametric curves. Appl. Algebra Eng. Commun. Comput., 6, 345-352.
4. Binder, F. (1995). Polynomial decomposition, Master's thesis, University of Linz.
5. Binder, F. (1996). Fast Computations in the Lattice of Polynomial Rational Function Fields. In ISSAC-96, pp. 43-48. ACM Press.
6. Bourbaki, N. (1964). Commutative Algebra. Hermann.
7. Brown, W. S., Traub, J. F. (1971). On Euclid's algorithm and the theory of subresultants. J. ACM 18, 505-514.
8. Buchberger, B. (1965). An algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal, PhD thesis, Universitat Innsbruck, Institut fur Mathematik. In German.
9. Buchberger, B. (1985). Groebner bases: an algorithmic method in polynomial ideal theory. In Bose, N. K., ed., Recent Trends in Multidimensional Systems Theory, chapter 6. D. Riedel Publ. Comp.
10. Collins, G. E. (1967). Subresultants and reduced polynomial remainder sequences. J. ACM, 14, 128-142.
11. Collins, G. E. (1975). Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition. Vol. 33, pp. 134-183. Springer. In Lecture Notes In Computer Science.
12. Collins, G. E., Hong, H. (1991). Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput., 12, 299-328.
13. Gao, X.-S., Chou, S.-C. (1992). Implicitization of rational parametric equations. J. Symb. Comput., 14, 459-470.
14. Gutierrez, J., Recio, T. (1995). Advances on the Simplification of Sine-cosine Equations. Technical Report 1/1995, Dept. Matematicas y Computacion. Universidad de Cantabria.
15. Habicht, V. W. (1948). Eine verallgemeinerung des sturmschen wurzelzahlverfahrens. Comm. Math. Helvetici, 21, 99-116.
16. Hoffmann, C. M. (1989). Geometric and Solid Modelling - an Introduction. San Mateo, CA, Morgan Kauffmann Publisher.
17. Hong, H. (1990). Improvements in CAD-based quantifier elimination, PhD thesis, The Ohio State University.
18. Hong, H. (1995). Implicitization of curves parameterized by generalized trigonometric polynomials. In Proceedings of Applied Algebra, Algebraic Algorithms and Error Correcting Codes (AAECC-11), pp. 285-296.
19. Hong, H. (1997). Implicitization of nested circular curves. J. Symb. Comput., 23, 177-189.
20. Kalkbrener, M. (1990). Implicitization of rational curves and surfaces. In Lect. Notes in Comp. Sci. 508, AAECC-8 (Sakata, ed.), Tokyo, Japan.
21. Mñuk, M., Sendra, J. R., Winkler, F. (1996). On the complexity of parametrizing curves. Beitr. Algebra Geometrie 37/2.
22. Mñuk, M., Wall, B., Winkler, F. (1995). CASA Reference Manual. http://www.risc.unilinz.ac.at/pub/casa.
23. Manocha, D., Canny, J. (1991). Rational curves with polynomial parametrization. Comput. Aided Geometric Des. pp. 12-19.
24. Pottmann, H. (1984). On the geometry of higher planet motion. Mh. Math., 97, 141-156. in German.
25. Recio, T., Sendra, J. R. (1997). Real parametrizations of real curves. J. Symb. Comput., 23, 241-254.
26. Schicho, J. (1992). On the choice of pencils in the parametrization of curves. J. Symb. Comput., 14, 557-576.
27. Schicho, J. (1995). Rational parametrization of surfaces, PhD thesis, RISC Linz.
28. Sederberg, T. W. (1986). Improperly parametrized rational curves. Comput. Aided Geometric Des., 3, 67-75.
29. Sendra, J., Winkler, F. (1991). Symbolic parametrization of curves. J. Symb. Comput., 12, 607-632.
30. Sendra, J., Winkler, F. (1997). Parametrization of algebraic curves over optimal field extensions. J. Symb. Comput., 23, 191-208.
31. van Hoeij, M. (1994). Computing parametrizations of rational algebraic curves. In ISSAC-94, pp. 187-190. ACM Press.
32. van Hoeij, M. (1997). Rational parametrizations of algebraic curves using canonical divisors. J. Symb. Comput., 23, (to appear).
33. Walker, R. J. (1978). Algebraic Curves. Springer.
34. Winkler, F. (1988). A p-adic approach to the computation of grobner bases. J. Symb. Comput., 6, 287-304.
35. Winter, D. J. (1974). The Structure of Fields. Springer.
36. Wu, W. T. (1986). Basic principles of mechianical theorem proving in elementary geometries. J. Autom. Reasoning, 2, 221-252.
37. Wunderlich, W. (1947). Higher cycloid curves. Österr. Ing. Arch., 1, 277-296.
38. Wunderlich, W. (1950). Approximation with higher cycloid curves. Österr. Ing. Arch., 4, 3-11.