Three different methods for automated geometry theorem proving--a generalized version of Dixon Resultants, Gröbner 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.