Geometry Expert

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

There's a new Chinese version of Geometry Expert, called MMP/Geometer.

Java Geometry Expert is free under GNU General Public License.