Java Geometry Expert, also known as JGEX, is a Java application for constructing, exploring, and proving geometry theorems.
It combines interactive dynamic geometry with automated geometric reasoning and visual proof presentation, making it useful for teaching, learning, and experimenting with Euclidean geometry. Users can build diagrams step by step, manipulate constructions dynamically, and work with proof tools based on established automated geometry methods.
This is free and open source software.
Key Features
- Provides an interactive graphical environment for constructing geometry diagrams.
- Lets users drag parts of a diagram and see dependent constructions update dynamically.
- Includes automated theorem proving for geometry problems.
- Implements methods including Wu’s method, the Full Angle Method, and the Deductive Database Method based on Full Angle.
- Supports manual and automated creation of geometry proofs.
- Offers visual effects for presenting proofs dynamically.
- Cross-platform support – runs under Linux, macOS, and Windows.
Website: github.com/ADG-Foundation/Java-Geometry-Expert
Support:
Developer: ADG-Foundation
License: GNU General Public License v3.0
JGEX is written in Java. Learn Java with our recommended free books and free tutorials.
Related Software
| Geometry Software | |
|---|---|
| GeoGebra | Dynamic mathematics software for learning and teaching |
| Kig | KDE4 software for exploring geometric constructions |
| Dr. Geo | Interactive geometry software |
| SINGULAR | Commutative algebra system for polynomial computations |
| Macaulay2 | Supporting research in algebraic geometry and commutative algebra |
| polymake | Research in polyhedral geometry |
| Geomview | For mathematics research and education |
| Geometria | Interactive software for creating and solving problems in 3D gemoetry |
| C.a.R. | Dynamic geometry program for use in schools and universities |
Read our verdict in the software roundup.
 Explore our comprehensive directory of recommended free and open source software. Our carefully curated collection spans every major software category.This directory is part of our ongoing series of informative articles for Linux enthusiasts. It features hundreds of detailed reviews, along with open source alternatives to proprietary solutions from major corporations such as Google, Microsoft, Apple, Adobe, IBM, Cisco, Oracle, and Autodesk. You’ll also find interesting projects to try, hardware coverage, free programming books and tutorials, and much more. Discovered a useful open source Linux program that we haven’t covered yet? Let us know by completing this form. |