Abstract | In this paper we report on GROEBNER-Mathematica, an experimental
implementation for computing Groebner bases in Mathematica. This implementation in its current form offers three different versions of the Groebner bases algorithm and is generic with respect to
- the ordering of power products,
- the domain of coefficients of the polynomials, and
- the representation of power products, monomials, polynomials, and
other domains. |