CASA - A system for computer aided constructive algebraic geometry

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1128, Issue , 1996, Pages 297-307

  Mňuk, Michal ^a   Winkler, Franz ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

GEOMETRY;

ALGEBRAIC GEOMETRY; BASIC PRINCIPLES; COMPUTER AIDED; COMPUTING DEVICES; CONSTRUCTIVE METHODS; MATHEMATICAL EXPERIMENTS;

ALGEBRA;

EID: 84947447421     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61697-7_31     Document Type: Conference Paper

References (18)

1. Bruno Buchberger. An algorithmic method in polynomial ideal theory. In N. K. Bose, editor, Multidimensional System Theory, pages 184-232. Reidel, Dordrecht Boston Lancaster, 1985.
2. Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan, and Stephen M. Watt. Maple VLibrary Reference Manual. Springer-Vedag, 1991.
3. Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan, and Stephen M. Watt. Maple V: Language Reference Manual Spdnger, Verlag, 1991.
4. Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan, and Stephen M. Watt. First Leaves. A Tutorial Introduction to Maple V. Springer-Verlag, 1992.
5. Richard Gebauer, Michael Kalkbrener, Bernhard Wail, and Franz Winkler. CASA: A Computer Algebra Package for Constructive Algebraic Geometry. In S. M. Watt, editor, ISSAC 91, pages 403-410, Bonn, Germany, July 1991. ACM Press.
6. H. Kredel and V. Weispfenning. Computing dimension and independent set for polynomial ideals. J. Symb. Comput., 6: 231-248, 1983.
7. Michai Mhuk. Algebraic and Geometric Approach to Parametrization of Rational Curves. PhD thesis, Research Institute for Symbolic Computation, Linz, Austria, December 1995.
8. Michal Mhuk, Bernhard Wall, and Franz Winkler. CASA reference manual (version 2. 2). Technical Report 95-05, Research Institute for Symbolic Computation, Linz, Austria, 1995. See also http://info. risc. uni-linz. ac. at:/iabs-info/compal/software/casa/casa. html.
9. E Mora and H. M. Müiler. New constructive methods in classical ideal theory. J. Algebra, pages 138-178, 1986.
10. Tran Quoc-Nam. A hybrid symbolic-numericai method for tracing surface-to-surface intersections. In A. H. M. Levelt, editor, Proc. ISSAC'95, pages 51-58. ACM Press, 1995.
11. Tran Quoc-Nam. On the symbolic-numericai methods for finding the roots of an arbitrary system of non-linear algebraic equations. In Proc. ATCM'95, Singapore, 1995. The Assoc. of Math. Eds.
12. J. Rafael Sendra and Franz Winkler. Symbolic parametrization of curves. J. Symb. Comput., 12(6): 607-631, 1991.
13. Igor A. Shafarevich. Basic Algebraic Geometry, volume 1. Springer Verlag, second edition, 1994.
14. Robert J. Walker. Algebraic Curves. Princeton University Press, 1950.
15. Bernhard Wall. Symbolic Computation with Algebraic Sets. PhD thesis, Research Institute for Symbolic Computation, Linz, Austria, 1993.
16. Dongming Wang. Irreducible decomposition fo algebraic varieties via characteristic sets and grbner bases. Technical Report 92-55, Research Institute for Symbolic Computation, August 1992.
17. Franz Winkler. Constructive algebraic geometry with CASA. Talk at workshop CoCoA, Cortona, Italy, 1993.
18. Franz Winkler. Algebraic computation in geometry. Math. and Computers in Simulation, (1319), 1996.