Abstract
Increasing power of computing devices shed a new light on the role of mathematical experiments. Constructive methods yield new insights into the nature of complicated problems. This paper describes the system CASA which implements basic principles of the classical algebraic geometry. It was created around the notion of the algebraic set and is currently supporting many operations on them while adhering to simplicity and efficiency.
Preview
Unable to display preview. Download preview PDF.
References
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.
Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan, and Stephen M. Watt. Maple V Library Reference Manual. Springer-Verlag, 1991.
Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan, and Stephen M. Watt. Maple V: Language Reference Manual. Springer-Verlag, 1991.
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.
Richard Gebauer, Michael Kalkbrener, Bernhard Wall, and Franz Winkler. CASA: A Com-puter Algebra Package for Constructive Algebraic Geometry. In S. M. Watt, editor, ISSAC 91, pages 403–410, Bonn, Germany, July 1991. ACM Press.
H. Kredel and V. Weispfenning. Computing dimension and independent set for polynomial ideals. J. Symb. Comput., 6:231–248, 1983.
Michal Mňuk. Algebraic and Geometric Approach to Parametrization of Rational Curves. PhD thesis, Research Institute for Symbolic Computation, Linz, Austria, December 1995.
Michal Mňuk, 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:/labs-info/compal/sofiware/casa/casa.html.
F. Mora and H.M. Möller. New constructive methods in classical ideal theory. J. Algebra, pages 138–178, 1986.
Tran Quoc-Nam. A hybrid symbolic-numerical method for tracing surface-to-surface intersections. In A.H.M. Levelt, editor, Proc. ISSAC'95, pages 51–58. ACM Press, 1995.
Tran Quoc-Nam. On the symbolic-numerical 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.
J. Rafael Sendra and Franz Winkler. Symbolic parametrization of curves. J. Symb. Comput., 12(6):607–631, 1991.
Igor A. Shafarevich. Basic Algebraic Geometry, volume 1. Springer Verlag, second edition, 1994.
Robert J. Walker. Algebraic Curves. Princeton University Press, 1950.
Bernhard Wall. Symbolic Computation with Algebraic Sets. PhD thesis, Research Institute for Symbolic Computation, Linz, Austria, 1993.
Dongming Wang. Irreducible decomposition fo algebraic varieties via characteristic sets and grbner bases. Technical Report 92-55, Research Institute for Symbolic Computation, August 1992.
Franz Winkler. Constructive algebraic geometry with CASA. Talk at workshop CoCoA, Cortona, Italy, 1993.
Franz Winkler. Algebraic computation in geometry. Math. and Computers in Simulation, (1319), 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mňuk, M., Winkler, F. (1996). CASA — A system for Computer Aided Constructive Algebraic geometry. In: Calmet, J., Limongelli, C. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1996. Lecture Notes in Computer Science, vol 1128. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61697-7_31
Download citation
DOI: https://doi.org/10.1007/3-540-61697-7_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61697-9
Online ISBN: 978-3-540-70635-9
eBook Packages: Springer Book Archive