Geometry Expert (GEX)
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.
 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
fullangle 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.
 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.
 X.S. Gao, J.Z. Zhang, and S.C. Chou, Geometry Expert (in Chinese) , Nine Chapters, Taipei, 1998.

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), 219246, 2000.

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. 216224, Springer, 1998.

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. 1522, LanZhou University Press, 1998.

X. S. Gao,
Building Dynamic Mathematical Models with Geometry Expert,
III. A Geometry Deductive Database
Proc. Of ATCM'99, 153162, 1999, ATCM Inc., USA.
Documents and Softwares

An introductory paper for GEX can be obtained
here

An experimental Windows version of GEX, with a set of examples,
can be obtained
here

A very early UNIX version (the interface is not as good
as the Windows version) of GEX can be obtained
here
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.