Elimination Theory

A body of algebraic techniques for removing variables from systems of polynomial equations to obtain relations among the remaining variables, typically implemented via resultants, elimination ideals, or Gröbner bases.

A body of algebraic methods and results for removing variables from systems of polynomial equations to obtain relations among remaining variables. It encompasses symbolic techniques (resultants, elimination ideals via Gröbner bases, elimination orders) and conceptual results about elimination ideals, dimensions, and projection of algebraic sets.