The method of Gröbner bases
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.
KeywordsNormal Form Word Problem Power Product Reduction Relation Noetherian Ring
Unable to display preview. Download preview PDF.