We present a Mathematica implementation of Buchberger's algorithm for computing Gröbner bases over the integers. We begin with some background in Gröbner bases, followed by discussions of the algorithm and our implementation. Our program computes what are known as reduced strong Gröbner bases over the integers.
For the newest resources, visit Wolfram Repositories and Archives »
