Proof Methods in JGEX

Java Geometry Expert (JGEX) is a powerful computer program for geometric reasoning. Within its domain, it invites comparison with the best of human geometry provers. It implements most of the effective methods for geometric reasoning introduced in the past twenty years. Besides the deductive database method, GEX also implements the the following methods.

 

  1. 111
  2. 222

    333

  3. 444
  4. 555

 

JGEX Help