1 IVerUHFv GTM 141 - ISBN978-1-4612-0913-3 - Thomas Becker, Volker Weispfenning - Gröbner Bases

A Computational Approach to Commutative Algebra.