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.
333
JGEX Help