Java Geometry Expert
Dynamic geometry software for exploring constructions and presenting geometry proofs.
By The ADG Foundation
Compare Java Geometry Expert with another product
Alternatives
See all alternatives
About Java Geometry Expert
Java Geometry Expert combines dynamic geometry construction, automated theorem proving, and visual proof presentation. Students and teachers can build diagrams, change them by dragging points, and explore how their properties change.
Its proof tools can reason about geometry theorems and generate readable proofs. The project describes methods including the deductive base method, Wu's method, and the full-angle method.
Strengths
- Combines interactive geometry with automated proving
- Diagrams can be changed dynamically
- Includes visual tools for presenting proofs
Limitations
- Linux package evidence is provided
Details
- Pricing
- FreeThe Flathub listing identifies it as GPL-3.0-or-later.
- License
- GPL-3.0-or-later
- Developer
- The ADG Foundation
- Platforms
- Linux
- How it runs
- Downloadable app
- Best suited for
- Geometry students and teachers exploring and presenting proofs
- Categories
- Learning tools, Diagrams and whiteboards
- Last verified
- Added
- Provenance
- Selected from the Flathub