Deepak Kapur: Automated geometric reasoning. Dixon resultants, Groebner
bases and characteristic sets. Springer 1998.

11679 Dongming Wang: Gro''bner bases applied to geometric theorem proving
and discovering. In 11648 Buchberger/Winkler, 281-301.

W. Wu: Mechanical theorem proving in geometries.
Springer 1994, 290p. 3-211-82506-1. DM 98.