Geometry Expert
{{notability|date=March 2022}}
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.
External links
- [http://www.mmrc.iss.ac.cn/gex/ GEX Official website]
- Java GEX ([https://web.archive.org/web/20080908011307/http://woody.cs.wichita.edu/gex/ old], [http://www.cs.wichita.edu/~ye/ new]) on Wichita State University
- [http://woody.cs.wichita.edu/help/gex_jgex.html Java GEX Documentation]{{Dead link|date=December 2019 |bot=InternetArchiveBot |fix-attempted=yes }} on Wichita State University
Category:Theorem proving software systems