Algorithms for rational real algebraic curves

Fundamenta Informaticae

Volumn 39, Issue 1-2, 1999, Pages 211-228

  Sendra, J Rafael ^a   Winkler, Franz ^b  

^a UNIVERSITY OF ALCALÁ   (Spain)

^b JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0008827262     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1999-391211     Document Type: Article

References (21)

1. Abhyankar S.S, Bajaj C.L., (1988), Automatic Parametrization of Rational Curves and Surfaces III: Algebraic Plane Curves. Computer Aided Geometric Design 5, 309-321.
2. Andradas C., Recio T., Sendra J.R., (1997), A relatively Optimal Rational Space Curves Reparametrization Algorithm through Canonical Divisors. Proc. ISSAC97 pp. 349-356, ACM Press
3. Brieskorn E., Knörrer H. (1986), Plane Algebraic Curves. Birkhäuser Verlag.
4. Collins G., (1975), Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition, Volume 33 of the Second GI Conference on Automata Theory and Formal Languages, Lectures Notes on Computer Science pp. 134-183. Springer Verlag.
5. Coste M, Roy M.F., (1988), Thom's Lemma, the Coding of Real Algebraic Numbers and the Computation of the Topology of Semialgebraic Sets. J. of Symbolic Computation, 5 (1-2), pp. 589-597.
6. Fulton W., (1989), Algebraic Curves, An Introduction to Algebraic Geometry. Addison-Wesley Publ. Co., Inc.
7. Hubert D., Hurwitz A. (1890), Über die Diophantischen Gleichungen vom Geschlecht Null. Acta math. 14, 217-224.
8. Hillgarter E., Winkler F. (1998), Points on Algebraic Curves and the Parametrization Problem. In: D. Wang (ed.), Automated Deduction in Geometry, 185-203, Lecture Notes in Artif. Intell. 1360, Springer Verlag Berlin Heidelberg.
9. van Hoeij M. (1997), Rational Parametrizations of Algebraic Curves using a Canonical Divisor. J. Symbolic Computation 2S/2&3, 209-227.
10. Johnson J.R. (1998), Algorithms for Real Root Isolation. Quantifier Elimination and Cylindrical Algebraic Decomposition, Text and Monograhs in Symbolic Computation, pp. 269-289. Springer Verlag.
11. Ireland K., Rosen R. (1982), A Classical Introduction to Modern Number Theory. Springer Verlag, Graduate Texts in Mathematics, New York.
12. Mishra B. (1993), Algorithmic Algebra. Springer Verlag.
13. Mňuk M., Winkler F. (1996), CASA - A System for Computer Aided Constructive Algebraic Geometry. In: J. Calmet and C. Limongelli (eds.), Proc. Internat. Symp. on Design and Implementation of Symbolic Computation Systems (DISCO'96), 297-307, LNCS 1128, Springer Verlag Berlin Heidelberg New York.
14. Recio T., Sendra J.R. (1995), Reparametrización Real de Curvas Reales Paramétricas. Proc. EACA'95, 159-168, Univ. de Cantabria, Santander, Spain.
15. Recio T., Sendra J.R. (1997), Real Reparametrizations of Real Curves. J. Symbolic Computation 23/2&3, 241-254.
16. Recio T., Sendra J.R. (1997), A Really Elementary Proof of Real Lüroth's Theorem. Revista Matemática de la Universidad Complutense de Madrid 10, 283-291.
17. Sendra J.R., Winkler F. (1991), Symbolic Parametrization of Curves. J. Symbolic Computation 12/6, 607-631.
18. Sendra J.R., Winkler F. (1997), Parametrization of Algebraic Curves over Optimal Field Extensions. J. Symbolic Computation 23/2&3, 191-207.
19. Sendra J.R., Winkler F. (1998), Real Parametrization of Algebraic Curves. In: J. Calmet and J. Plaza (eds.), Artificial Intelligence and Symbolic Computation (Proc. AISC'98), 284-295, Lecture Notes in Artif. Intell. 1476, Springer Verlag Berlin Heidelberg.
20. Walker R.J. (1950), Algebraic Curves. Princeton Unversity Press.
21. Winkler F. (1996), Polynomial Algorithms in Computer Algebra. Springer-Verlag Wien New York.