Advertisement

The method of Gröbner bases

  • Franz Winkler
Part of the Texts and Monographs in Symbolic Computation book series (TEXTSMONOGR)

Abstract

Many of the properties that are important for Gröbner bases can be developed in the frame of binary relations on arbitrary sets, so-called reduction relations (Huet 1980). The theory of reduction relations forms a common basis for the theory of Gröbner bases, word problems in finitely presented groups, term rewriting systems, and lambda calculus.

Keywords

Normal Form Word Problem Power Product Reduction Relation Noetherian Ring 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Wien 1996

Authors and Affiliations

  • Franz Winkler
    • 1
  1. 1.Research Institute for Symbolic ComputationJohannes-Kepler-University LinzLinzAustria

Personalised recommendations