Geometry Expert (GEX) is a software for dynamic diagram drawing and automated geometry theorem proving and discovering. As a dynamic geometry

software, GEX can be used to build dynamic visual models to assist teaching and learning of various mathematical concepts. As an automated reasoning

software, we can build dynamic logic models which can do reasoning themselves. 

1. Geometry Expert (GEX) is a powerful computer program for geometric reasoning. Within its domain, it invites comparison with the best of  human

geometry provers. It implements most of the effective methods for geometric reasoning introduced in the past twenty years, including the deductive base   method, Wu's method, the area method, the Groebner basis method, the vector method, and the full-angle method. With these methods, users may

automated prove geometry theorems, to discover new prrperties of theorems, and to generate readable proofs for mant geometry throerms.

2. By dynamic visual models, we mean models built by computer softwares that can be changed dynamically. With GEX, we can build four classes of

dynamic visual models: geometric transformations, loci generation, diagrams of functions, and loci generation. 

References on GEX can be found below.

        1.  X.S. Gao, J.Z. Zhang, and S.C. Chou, Geometry Expert (in Chinese) , Nine Chapters, Taipei, 1998.

2.  S.C. Chou, X.S. Gao, and J.Z. Zhang, A Deductive Database Approach To Automated Geometry Theorem Proving and Discovering,Journal of 

     Automated Reasoning, 25(3), 219-246, 2000.

3.  X. S. Gao, C. C. Zhu, and Y. Huang, Building Dynamic Mathematical Models with Geometry Expert, I. Geometric Transformations,

     Functions and Plane Curves, Proceedings of the Third Asian Technology Conference in Mathematics, eds W.C. Yang, pp. 216-224, Springer, 1998.

4.  X. S. Gao, C. C. Zhu, and Y. Huang, Building Dynamic Mathematical Models with Geometry Expert, II. Linkages, Proc. of the Third Asian

     Symposium on Computer Mathematics, eds Z. B. Li, pp. 15-22, LanZhou University Press, 1998.

5.  X. S. Gao, Building Dynamic Mathematical Models with Geometry Expert, III. A Geometry Deductive Database Proc. Of ATCM'99,

     153-162, 1999, ATCM Inc., USA.

Documents and Softwares

Java Geometry Expert

Java GEX is an internet based version of Geometry Expert.

MMP/Geometer

MMP/Geometer is a new Chinese version of GEX with ability of automated geometric diagram construction.

X.S. Gao and Q. Lin, MMP/Geometer - A Software Package for Automated Geometry Reasoning, Automated Deduction in Geometry, 44-66,

Springer, Berlin, 2004.