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
The GNU General Public License (GNU GPL or simply GPL) is a series of widely used free software licenses that guarantee end users the Four Freedoms (Free software), four freedoms to run, study, share, and modify the software. The license was th ...
.
External links
GEX Official website* Java GEX
oldnew
on Wichita State University
Java GEX Documentation
{Dead link, date=December 2019 , bot=InternetArchiveBot , fix-attempted=yes on Wichita State University
Theorem proving software systems
Automated theorem proving
Interactive geometry software