Java Geometry Expert

Java Geometry Expert is an educational and analytical tool designed for Linux platforms that combines dynamic geometry construction with automated theorem proving. Users can draw geometric shapes, manipulate points and lines in real time, and utilize built-in logic engines to automatically generate mathematical proofs for geometric theorems. The interface accommodates both visual drafting and algebraic representation, allowing students and researchers to verify geometric properties through automated reasoning.

Distributed under the GPL-3.0-or-later license, the software relies on the Java runtime environment to execute its calculation algorithms and rendering procedures. It provides tools for constructing complex diagrams containing circles, polygons, and intersection points while processing the underlying mathematical relationships. The automated proof generator assists in demonstrating geometric propositions without requiring manual step-by-step algebraic derivation for every theorem.