Geometry Expert

From Wikipedia, the free encyclopedia

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

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

Java Geometry Expert is free under GNU General Public License.

External links[]

GEX Official website
Java GEX (old, new) on Wichita State University
Java GEX Documentation^{[permanent dead link]} on Wichita State University

Retrieved from ""

Categories:

Theorem proving software systems
Automated theorem proving
Interactive geometry software

Hidden categories:

All articles with dead external links
Articles with dead external links from December 2019
Articles with permanently dead external links