Computational Commutative Algebra 1
Martin Kreuzer
Springer
Bridges the current gap in the literature between theory and real computation of Groebner bases and their applications. A comprehensive guide to both the theory and practice of computational commutative algebra, ideal for use as a textbook for graduate or undergraduate students. Contains tutorials on many subjects that supplement the material.