Geometry Expert
Jump to navigation
Jump to search
The topic of this article may not meet Wikipedia's general notability guideline. (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
Categories:
- Articles with topics of unclear notability from March 2022
- All articles with topics of unclear notability
- All articles with dead external links
- Articles with dead external links from December 2019
- Articles with permanently dead external links
- Theorem proving software systems
- Automated theorem proving
- Interactive geometry software