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

Chou:
Mechanical Theorem Proving. D. Reidel, 1987

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-Velez:
Teaching basic algebraic geometry with computer algebra: a didactical approach through automatic geometry theorem proving. 1995. http://www.can.nl/vaneff/CAIN

Recio-Velez:
Automatic discovery of theorems in elementary geometry. Manuscript. 1996.