Preply — Study more efficiently by working with a personal tutor. Get 50% off.Affiliate

Wikipedia

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.

External links GEX Official website Java GEX (old, new Archived 2011-07-20 at the Wayback Machine) on Wichita State University Java GEX Documentation on Wichita State University

Tags

  • Automated theorem proving
  • Interactive geometry software
  • Theorem proving software systems