S. Chou, X. Gao, Z. Liu, D. Wang, and D. Wang, Geometric theorem provers and algebraic equation solvers, pp.491-505, 2000.
DOI : 10.1016/B978-012734760-8/50021-1

H. Hong, D. Wang, and F. Winkler, Short description of existing provers, Ann. Math. Artif. Intell, vol.13, pp.195-202, 1995.

D. Kapur, Using Gr??bner bases to reason about geometry problems, Journal of Symbolic Computation, vol.2, issue.4, pp.399-408, 1986.
DOI : 10.1016/S0747-7171(86)80007-4

B. Kutzler and S. Stifter, On the application of Buchberger's algorithm to automated geometry theorem proving, Journal of Symbolic Computation, vol.2, issue.4, pp.389-397, 1986.
DOI : 10.1016/S0747-7171(86)80006-2

D. Wang, Elimination procedures for mechanical theorem proving in geometry, Annals of Mathematics and Artificial Intelligence, vol.7, issue.2, pp.1-24, 1995.
DOI : 10.1007/BF01531321

D. Wang, A Method for Proving Theorems in Differential Geometry and Mechanics, J. Univ. Comput. Sci, vol.1, pp.658-673, 1995.
DOI : 10.1007/978-3-642-80350-5_55

D. Wang, GEOTHER: A geometry theorem prover, LNAI 1104, pp.166-170, 1996.
DOI : 10.1007/3-540-61511-3_78

D. Wang, Gröbner bases applied to geometric theorem proving and discovering, pp.281-301, 1998.

D. Wang, EPSILON: A LIBRARY OF SOFTWARE TOOLS FOR POLYNOMIAL ELIMINATION, Mathematical Software, pp.379-389, 2002.
DOI : 10.1142/9789812777171_0040
URL : https://hal.archives-ouvertes.fr/inria-00107607

D. Wang, Automated Generation of Diagrams with Maple and Java, pp.277-287, 2003.
DOI : 10.1007/978-3-662-05148-1_15
URL : https://hal.archives-ouvertes.fr/inria-00099637

W. Wu, Mechanical Theorem Proving in Geometries: Basic Principles (translated from the Chinese by, 1994.
DOI : 10.1007/978-3-7091-6639-0