Some References

General source:

from Dongming Wang.

few selected items:

-Bledsoe-Loveland: Automated Theorem Proving: after 25 years. AMS. 1984.

-Chou: Mechanical Theorem Proving. D. Reidel, 1987.

-Cox-Little-O'Shea: Ideals, Varieties and Algorithms, Springer,1992

-Wu-Wen-Tsun:Mechanical Theorem Proving in Geometries.
Springer Text and Monographs in Symbolic Computation. Wien. 1994.

-Mainguene: Methode de Wu, courbes reelles et demostration automatique en geometrie. These. Universite de Rennes. 1994.

-Guergueb: Examples de demostration automatique en geometrie reelle. These. Universite de Rennes. 1994.

-Conti-Traverso:A case of automatic theorem proving in euclidean geometry. Proceed. AAECC, 1995.

-Recio-Sterk-Velez: Automatic theorem proving. In: “Some Tapas of Computer Algebra”. Springer. 1998.

-Recio: Calculo Simbolico y Geometrico. Ed. Sintesis. Madrid, 1998.

-Recio-Velez: Automatic discovery of theorems in elementary geometry, Journal of Automated Reasoning, 1999.

-Bazzotti, Dalzotto, Robbiano: Remarks on Geometric Theorem Proving. Proceedings of ADG 2000, LNAI 2061 (2001), Springer Verlag.