Skip to main content
SpringerLink
Log in
Book cover

Automated Practical Reasoning pp 125–146Cite as

CASA: Computer Algebra Software for Computing with Algebraic Sets

  • Chapter

  • 99 Accesses

Part of the book series: Texts and Monographs in Symbolic Computation ((TEXTSMONOGR))

Abstract

In this report we want to illustrate with two examples how the program package “Computer Algebra Software for Constructive Algebraic Geometry” (CASA) (see Gebauer et al. 1991) can be used in order to reason about geometric objects defined by algebraic equations.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Abhyankar, S. S. (1975): Approximate roots of polynomials and special cases of the epimorphism theorem. Lecture notes by Chris Christensen, Division of Mathematical Sciences, Purdue University, West Lafayette, IN.

    Google Scholar 

  • Abhyankar, S. S., Bajaj, C. (1988a): Automatic parametrization of rational curves and surfaces IV: algebraic space curves. Res. Rep., Computer Science Department, Purdue University, West Lafayette, IN.

    Google Scholar 

  • Abhyankar, S. S., Bajaj, C. (1988b): Automatic parametrization of rational curves and surfaces III: algebraic plane curves. Comput. Aided Geom. Des. 5: 309–321.

    Article  MathSciNet  MATH  Google Scholar 

  • Abhyankar, S. S., Bajaj, C. (1989): Computations with algebraic curves. In: Gianni, P. (ed.): Symbolic and algebraic computation. Springer, Berlin Heidelberg New York Tokyo, pp. 274–284 (Lecture notes in computer science, vol. 358).

    Chapter  Google Scholar 

  • Bajaj, C., Royappa, A. (1989): GANITH: an algebraic geometry package. Res. Rep. csd-tr-914, Computer Science Department, Purdue University, West Lafayette, IN.

    Google Scholar 

  • Bajaj, C., Royappa, A. (1990): The GANITH algebraic geometry toolkit. In: Miola, A. (ed.): Design and implementation of symbolic computation systems. Springer, Berlin Heidelberg New York Tokyo, pp. 268–269 (Lecture notes in computer science, vol. 429).

    Chapter  Google Scholar 

  • Bajaj, C., Hoffmann, C. M., Lynch, R. E., Hopcroft, J. E. H. (1988): Tracing surface intersections. Comput. Aided Geom. Des. 5: 285–307.

    Article  MathSciNet  MATH  Google Scholar 

  • Bennett, D. (1990): Interactive display and manipulation of curves and surfaces of mathematical functions. ACM SIGSAM Bull. 24(3): 33–34.

    Google Scholar 

  • Brieskorn, E., Knörrer, H. (1986): Plane algebraic curves. Birkhäuser, Basel.

    MATH  Google Scholar 

  • Char, B. W., Geddes, K. O., Gonnet, G. H., Leong, B. L., Monagan, M. B., Watt, S. M. (1991a): Maple V language reference manual. Springer, Berlin Heidelberg New York Tokyo.

    Book  MATH  Google Scholar 

  • Char, B. W., Geddes, K. O., Gonnet, G. H., Leong, B. L., Monagan, M. B., Watt, S. M. (1991b): Maple V library reference manual. Springer, Berlin Heidelberg New York Tokyo.

    Book  MATH  Google Scholar 

  • Char, B. W., Geddes, K. O., Gonnet, G. H., Leong, B. L., Monagan, M. B., Watt, S. M. (1992): First leaves: a tutorial introduction to Maple V. Springer, Berlin Heidelberg New York Tokyo.

    Book  MATH  Google Scholar 

  • Duval, D. (1987): Diverses questions relatives au calcul formel avec des nombres algébriques. Ph.D. thesis, Institut Fourier, Grenoble, France.

    Google Scholar 

  • Duval, D. (1989): Rational Puiseux expansion. Compos. Math. 70: 119–154.

    MathSciNet  MATH  Google Scholar 

  • Eichler, M. (1966): Introduction to the theory of algebraic numbers and functions. Academic Press, London.

    MATH  Google Scholar 

  • Gebauer, R. (1990): Plotting algebraic curves. Tech. Rep. RISC Linz 90-69.0.

    Google Scholar 

  • Gebauer, R., Kalkbrener, M., Wall, B., Winkler, F. (1991): CASA: a computer algebra package for constructive algebraic geometry. In: Watt, S. M. (ed.): ISSAC’ 91, Bonn, Germany, July 1991, pp. 403–410.

    Google Scholar 

  • Henry, J. P. G., Merle, M. (1987a): Complexity of computation of embedded resolution of algebraic curves. In: Davenport, J. H. (ed.): EUROCAL’ 87. Springer, Berlin Heidelberg New York Tokyo, pp. 381–390 (Lecture notes in computer science, vol. 378).

    Google Scholar 

  • Henry, J. P. G., Merle, M. (1987b): Puiseux pairs, resolution of curves and lazy evaluation. Res. Rep., Centre de Mathématiques, École Polytechniques, Palaiseau.

    Google Scholar 

  • Hoffmann, C. M. (1988): Algebraic curves. In: Rice, J. (ed.): Mathematical aspects of scientific software. Springer, Berlin Heidelberg New York Tokyo, pp. 101–122 (The IMA volumes in mathematics and its applications, vol. 14).

    Chapter  Google Scholar 

  • Hoffmann, C. M. (1989): Geometric and solid modelling — an introduction. Morgan Kauffmann, San Mateo, CA.

    Google Scholar 

  • Kalkbrener, M. (1990a): Birational projections of irreducible varieties. Tech. Rep. RISC Linz 90-59.0.

    Google Scholar 

  • Kalkbrener, M. (1990b): Implicitization by using Gröbner bases. Tech. Rep. RISC Linz 90-27.0.

    Google Scholar 

  • Kalkbrener, M. (1991a): Implicitization of rational curves and surfaces. In: Sakata, S. (ed.): Applied algebra, algebraic algorithms, error-correcting codes. Springer, Berlin Heidelberg New York Tokyo, pp. 249–259 (Lecture notes in computer science, vol. 508).

    Chapter  Google Scholar 

  • Kalkbrener, M. (1991b): Three contributions to elimination theory. Ph.D. thesis, Research Institute for Symbolic Computation, University of Linz, Linz, Austria.

    Google Scholar 

  • Kredel, H., Weispfenning, V. (1988): Computing dimension and independent sets for polynomial ideals. J. Symb. Comput. 6: 231–248.

    Article  MathSciNet  MATH  Google Scholar 

  • Kung, H. T., Traub, J. F. (1978): All algebraic functions can be computed fast. J. ACM 25: 245–260.

    Article  MathSciNet  MATH  Google Scholar 

  • Milnor, J. (1968): Singular points of complex hypersurfaces. Princeton University Press, Princeton.

    MATH  Google Scholar 

  • Mora, F. (1982): An algorithm to compute the equation of tangent cones. In: Calmet, J. (ed.): Computer algebra. Springer, Berlin Heidelberg New York Tokyo, pp. 273–280 (Lecture notes in computer science, vol. 144).

    Google Scholar 

  • Newton, I. (1969): Methods of series and fluxions. In: Whiteside, D. T. (ed.): The mathematical papers of Isaac Newton. Cambridge University Press, Cambridge.

    Google Scholar 

  • Puiseux, M. V. (1850): Recherches sur les fonctions algebriques. J. Math. Pures Appl. 15: 365–480.

    Google Scholar 

  • Ritt, J. F. (1950): Differential algebra. American Mathematical Society, New York.

    MATH  Google Scholar 

  • Rybowicz, M. (1990): Sur le calcul des places et des anneaux d’entiers d’un corps de fonctions algebriques. Ph.D. thesis, Université de Limoges, Limoges, France.

    Google Scholar 

  • Sendra, J. R., Winkler, F. (1991): Symbolic parametrization of curves. J. Symb. Comput. 12: 607–632.

    Article  MathSciNet  MATH  Google Scholar 

  • Stillman, M., Stillman, M., Bayer, D. (1989): Macaulay user manual. Available via FTP on site 128.103.28.10 (math.harvard.edu).

    Google Scholar 

  • Stobbe, R. (1992): Darstellung algebraischer Kurven mittels Computergrafik. Master’s thesis, Fachbereich Mathematik der Universität Kaiserslautern, Kaiserslautern, Germany.

    Google Scholar 

  • van der Waerden, B. L. (1973): Einführung in die algebraische Geometrie, 2nd edn. Springer, Berlin Heidelberg New York.

    MATH  Google Scholar 

  • Walker, R. J. (1978): Algebraic curves, 2nd edn. Springer, Berlin Heidelberg New York.

    Book  MATH  Google Scholar 

  • Wall, B. (1991a): CASA: computer algebra software for constructive algebraic geometry in Maple — a primer. Tech. Rep. RISC Linz 91-34.1.

    Google Scholar 

  • Wall, B. (1991b): Puiseux expansion: an annotated bibliography. Tech. Rep. RISC Linz 91-46.0.

    Google Scholar 

  • Wang, D. (1989): A method for determining the finite basis of an ideal from its characteristic set with application to irreducible decomposition of algebraic varieties. Tech. Rep. RISC Linz 89-50.0.

    Google Scholar 

  • Wang, D. (1992): Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases. Comput. Aided Geom. Des. 9: 471–484.

    Article  MATH  Google Scholar 

  • Wu, W. (1984): Basic principles of mechanical theorem proving in elementary geometries. J. Syst. Sci. Math. Sci. 4: 207–235.

    Google Scholar 

Download references

Authors
  1. Bernhard Wall
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Research Institute for Symbolic Computation, Johannes-Kepler-University Linz, Linz, Austria

    Jochen Pfalzgraf

  2. Laboratoire d’Informatique Fondamentale et d’Intelligence Artificielle, Institut National Polytechnique de Grenoble, Grenoble, France

    Dongming Wang

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Wien

About this chapter

Cite this chapter

Wall, B. (1995). CASA: Computer Algebra Software for Computing with Algebraic Sets. In: Pfalzgraf, J., Wang, D. (eds) Automated Practical Reasoning. Texts and Monographs in Symbolic Computation. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6604-8_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-6604-8_7

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-211-82600-3

  • Online ISBN: 978-3-7091-6604-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation