1. Wu W T, Basic Principles of Mechanical Theorem Proving in Geometries I: Part of Elementary Geometries, Science Press, Beijing, 1984; Springer, Wien, 1994.
2. Kutzler B and Stifter S, On the application of Buchberger’s algorithm to automated geometry theorem proving, J. Symb. Comp., 1986, 2: 389–398.
3. Crapo H and Richter-Gebert J, Automatic proving of geometric theorems, Invariant Methods in Discrete and Computational Geometry, Ed. by White N, Kluwer Academic Publishers, 1994, 107–139.
4. Wang D, Elimination Methods, Springer, Wien, New York, 2001.
5. Chou S C, Mechanical Geometry Theorem Proving, D. Reidel, Dordrecht, 1988.