, An introduction to Wu's method for mechanical theorem proving in geometry, Journal of Automated Reasoning, vol.4, issue.3, pp.237-267, 1988.
DOI : 10.1007/BF00244942
, Machine proofs in geometry: Automated production of readable proofs for Geometry Theorems Scientific, 1994.
DOI : 10.1142/2196
, Automated generation of readable proofs with geometric invariants, Journal of Automated Reasoning, vol.4, issue.4, pp.349-370, 1996.
DOI : 10.1007/BF00283134
, A deductive database approach to automated geometry theorem proving and discovering, Journal of Automated Reasoning, vol.25, issue.3, pp.219-246, 1996.
DOI : 10.1023/A:1006171315513
, Geometry Expert, Software Package, pp.44-46, 2000.
, Formalisation en Coq et visualisation d'un cours de g??om??trie pour le lyc??e, Techniques et sciences informatiques, vol.24, issue.9, pp.1113-1138, 2005.
DOI : 10.3166/tsi.24.1113-1138
, 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
, A Decision Procedure for Geometry in Coq, Theorem Proving in Higher- Order Logics, 2004.
DOI : 10.1007/978-3-540-30142-4_17
URL : https://hal.archives-ouvertes.fr/inria-00001035
, A Graphical User Interface for Formal Proofs in Geometry, Journal of Automated Reasoning, vol.17, issue.2, pp.161-180, 2007.
DOI : 10.1007/s10817-007-9071-4
URL : https://hal.archives-ouvertes.fr/inria-00118903
, GeoThms ??? a Web System for Euclidean Constructive Geometry, Electronic Notes in Theoretical Computer Science, vol.174, issue.2, pp.35-48, 2007.
DOI : 10.1016/j.entcs.2006.09.020
, Combining Dynamic Geometry, Automated Geometry Theorem Proving And Diagrammatic Proofs, of the European Joint Conferences on Theory and Practice of Software (ETAPS) Satellite Workshop on User Interfaces for Theorem Provers (UITP), 2005.