Skip to main content
SpringerLink
Log in

Gröbner bases using SAC2

  • Algebraic Algorithms III
  • Conference paper
  • First Online:
EUROCAL '85 (EUROCAL 1985)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 204))

Included in the following conference series:

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

Access this chapter

Log in via an institution

Institutional subscriptions

References (selection)

  1. B. Buchberger: Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems. Aequationes mathematicae, vol. 4, p. 374–383, 1970

    Article  Google Scholar 

  2. B. Buchberger, F. Winkler: An algorithm for constructing canonical bases ( Gröbner Bases ) of polynomial ideals. CAMP-Publ. Nr. 81-10.0, Johannes Kepler Universität Linz, September 1981

    Google Scholar 

  3. B. Buchberger, G. Collins, R. Loos: Computer Algebra — Symbolic and Algebraic Computation Springer: Wien, 1982

    Google Scholar 

  4. B. Buchberger: Groebner Bases: An Algorithmic Method in Polynomial Ideal Theory. Chapter 6 in: Recent Trends in Multidimensional Systems Theory. (N.K. Bose ed.) D. Reidel Publishing Company, to appear 1985

    Google Scholar 

  5. G. E. Collins, R. G. Loos: ALDES and SAC-2 now available. SAC2 — Symbolic and Algebraic Computation Version 2, a computer algebra system, ALDES — ALgorithm DEScription language ACM SIGSAM Bulletin Vol. 14, No. 2, 1980

    Google Scholar 

  6. R. Gebauer, H. Kredel: Common Distributive Polynomial System. 04/1983 Distributive Integral Polynomial System. 06/1983 Distributive Rational Polynomial System. 08/1983 Distributive Arbitrary Domain Polynomial System. 12/1983 Institut für Angewandte Mathematik, Universität Heidelberg, 1983

    Google Scholar 

  7. R. Gebauer, H. Kredel: Buchberger Algorithm System. 12/1983 loc. cit. see also: SIGSAM Bulletin, Volume 18 Number 1, 1984.

    Google Scholar 

  8. R. Gebauer, H. Kredel: Real solution system for algebraic equations. 06/1984

    Google Scholar 

  9. W. L. Trinks: Über Buchbergers Verfahren Systeme algebraischer Gleichungen zu lösen. J. of Number Theory, vol. 10, pp. 475–488, 1978

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Applied Mathematics, University of Heidelberg, Heidelberg, F.R.G

    W. Böge, R. Gebauer & H. Kredel

Authors
  1. W. Böge
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Gebauer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. H. Kredel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bob F. Caviness

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Böge, W., Gebauer, R., Kredel, H. (1985). Gröbner bases using SAC2. In: Caviness, B.F. (eds) EUROCAL '85. EUROCAL 1985. Lecture Notes in Computer Science, vol 204. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15984-3_275

Download citation

  • DOI: https://doi.org/10.1007/3-540-15984-3_275

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15984-1

  • Online ISBN: 978-3-540-39685-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation