George Nakos, U.S. Naval Academy Nikolaos Glinos, University of Ioannina, Greece
We present a Mathematica implementation of Buchberger's algorithm
for computing Gröbner bases over the integers. We begin with some
background on Gröbner bases, followed by discussions of the algorithm
and our implementation. Our program conputes what are known as reduced
strong Gröbner bases over the integers.