An algorithmic approach to the study of algebra is revealed by this text, which explores Groebner bases, defined by Buchberger in 1965, and the Buchberger algorithm. Algorithms using Groebner bases are implemented in almost every major computer algebra software system.
Cover; Title; Copyright; Contents; Preface; Programme Committee; Tutorials; Introduction to Grobner Bases; Outline; 1 Grobner Bases at Work; 1.1 Example: Fermat Ideals; 1.2 Example: Geometry Theorem Proving; 1.3 Example: Invariant Theory; 1.4 Example: Systems of Polynomial Equat…
Comprehensive account of theory and applications of Gröbner bases, co-edited by the subject's inventor.
This book provides an easy-to-read account of the theory of Gröbner bases and applications. It is in 2 parts, the first consists of tutorial lectures, and the second, 17 original research papers on Gröbner bases.