Polynomial rings, algebraic varieties, monomial orders, Groebner bases, Buchberger's algorithm, ideal membership problem, elimination theory
Polynomial rings, algebraic varieties, monomial orders, Groebner bases, Buchberger's algorithm, ideal membership problem, elimination theory