1996 | OriginalPaper | Chapter
The method of Gröbner bases
Author : Dipl.-Ing. Dr. Franz Winkler
Published in: Polynomial Algorithms in Computer Algebra
Publisher: Springer Vienna
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.