This book provides a comprehensive treatment of Gr bner bases theory
embedded in an introduction to commutative algebra from a computational
point of view. The book explains how the Buchberger algorithm and the
theory surrounding it are eminently important both for the mathematical
theory and for computational applications. A number of results such as
optimized version of the Buchberger algorithm are presented in textbook
format for the first time.