Java Geometry Expert (JGEX) is a graphical application for constructing, exploring and proving geometric theorems. It combines dynamic geometry software with automated mathematical reasoning, providing tools for both visual experimentation and formal proof.
Users create geometric diagrams interactively by placing points, drawing lines and constructing dependent objects. The diagrams remain dynamic, allowing points to be moved while maintaining the relationships between objects.
JGEX extends conventional geometry construction software by incorporating automated theorem-proving algorithms. These facilities enable users to investigate mathematical conjectures and generate proofs using established methods of geometric reasoning.
The application also includes tools for presenting proofs visually. This makes it particularly useful for mathematics education, where understanding why a theorem holds can be as important as obtaining the correct result.
This is free and open source software.
Key Features
- Interactive graphical environment for constructing Euclidean geometry diagrams.
- Dynamic manipulation of points and dependent geometric objects.
- Automated theorem proving using Wu’s method.
- Support for the Full Angle Method of geometric reasoning.
- Deductive Database Method based on Full Angle for automated proofs.
- Construct geometric diagrams containing points, lines, circles and other objects.
- Investigate relationships between geometric objects by dragging construction points.
- Generate and examine mathematical proofs.
- Manual creation and visual presentation of geometry proofs.
- Dynamic visual effects for demonstrating individual proof steps.
- Collection of example constructions and mathematical proofs.
- Support for mathematical education and research into automated deduction.
- Facilities for presenting geometric reasoning in a classroom environment.
- Cross-platform support – runs on Linux, macOS, and Windows.
Website: github.com/ADG-Foundation/Java-Geometry-Expert
Support:
Developer: ADG Foundation contributors
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 |
| C.a.R. | Dynamic geometry program for use in schools and universities |
| Geomview | For mathematics research and education |
| Geometria | Interactive software for creating and solving problems in 3D gemoetry |
| JGEX | Construct, explore and prove geometry theorems |
Read our verdict in the software roundup.
 Explore our carefully curated directory of recommended free and open source software, covering every major software category.The directory forms part of our extensive collection of articles for Linux enthusiasts. It includes hundreds of detailed reviews, together with free and open source alternatives to proprietary software from companies such as Google, Microsoft, Apple, Adobe, IBM, Cisco, Oracle, and Autodesk. LinuxLinks also covers interesting projects worth exploring, Linux-compatible hardware, free programming books and tutorials, and much more. Know a useful free and open source Linux application that we haven’t covered? Tell us about it using our submission form. |
Please read our Comment Policy before commenting.