Groebner bases and commutative algebra

Thomas Becker, Volker Weispfenning, H. Kredel9780387979717, 0387979719

The centerpiece of Grobner basis theory is the Buchberger algorithm, the importance of which is explained, as it spans mathematical theory and computational applications. This comprehensive treatment is useful as a text and as a reference for mathematicians and computer scientists and requires no prerequisites other than the mathematical maturity of an advanced undergraduate. Strong emphasis is placed on algorithms and their verification, with no sacrifices in mathematical rigor.