Peter G. Trotter

• A canonical basis for ideals of polynomials in several variables and with integer coefficients