Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Sets

Three different methods for automated geometry theorem proving—a generalized version of Dixon resultants, Grobner bases and characteristic sets—are reviewed. The main focus is, however, on the use of the generalized Dixon resultant formulation for solving geometric problems and determining geometric quantities.