Java Geometry Expert 0.87
Dynamic geometry + automated proofs
10downloads
2this week
FreeFreeware
0reviews
Screenshots
About Java Geometry Expert
Java Geometry Expert (JGEX) is a software which combines dynamic geometry software (DGS),
automated geometry theorem prover (GTP) and our approach for visually dynamic presentation of proofs.
As a dynamic geometry software, JGEX can be used to build dynamic visual models to assist teaching
and learning of various mathematical concepts. As an automated reasoning software,
we can build dynamic logic models which can do reasoning themselves.
As a tool for dynamic presentation of proofs, JGEX is a valuable for teachers and students to write
and present proofs of geometry theorems with various dynamic visual effects.
License: GPL-3.0-or-later
automated geometry theorem prover (GTP) and our approach for visually dynamic presentation of proofs.
As a dynamic geometry software, JGEX can be used to build dynamic visual models to assist teaching
and learning of various mathematical concepts. As an automated reasoning software,
we can build dynamic logic models which can do reasoning themselves.
As a tool for dynamic presentation of proofs, JGEX is a valuable for teachers and students to write
and present proofs of geometry theorems with various dynamic visual effects.
License: GPL-3.0-or-later
| Release info | New Release on Jan 31, 2026 |
|---|---|
| Release notes | Release description • Initial Flatpak release |
| Listing data | Flathub |
Reviews
No reviews yet. Be the first to review Java Geometry Expert.
Used Java Geometry Expert? Tell other visitors what you thought.
Log in to write a reviewOther products by this publisher
- "No Distractions" for YouTube 4.10 ----
- #Bible 11.6 "Incredible App - My sister shared this app with me a few weeks ago and it is truly incredible.
- #filmphotography 1.4.2 So, you decided to shoot on film?
- $quirrel 1.5.1 $quirrel Budget & Finance helps you plan each paycheck, track spending, manage debt, and see what is safe to spend before the next payday.
- % Percentage Calculator Pro 1.41 This is the Pro version of % Percentage Calculator.
Most viewed Linux Education
-
1
Jan 0.8.8
Private offline AI assistant
-
2
Webots R2025a
Webots Robot Simulator
-
3
Feeel 2.4.1
A simple home workout/exercise app that respects your privacy
- 4 Fablemaker 1.2.1 Hack Aesop’s fables
- 5 White House 1.175 Hack your world with CSS
-
6
eduK 0.0.1
eduK is an educational web platform focused on assisting users in income generation
-
7
CoMaps 2026.08.31
Free offline maps for everyone
-
8
Saber 1.37.1
The notes app built for handwriting
-
9
Logisim 2.7.1
Logisim a graphical tool for desigining and simulating logic circuits
-
10
TigerJython 2.40
Python IDE for schools
Most downloaded Linux Education
- 1 Al-Quran - Simple 1.1.1 A simple open-source Quran reader
-
2
FingerGo 1.6.0
Visual touch-typing trainer
- 3 Altaqwaa 4.0.1 Quran, adhkar, and prayer times
-
4
Praat 7.0.03
Analyze, synthesize, and manipulate speech
-
5
Jan 0.8.8
Private offline AI assistant
- 6 Water Hammer Simulation 4.8.1 This application uses different numerical methods to simulate the Water Hammer phenomenon.
- 7 Quran Companion 1.6.0 Read and listen to the Quran
-
8
ClassIn 6.0.9.1898
One-stop interactive online classroom platform
-
9
Webots R2025a
Webots Robot Simulator
-
10
OpenBoard 1.7.7
Interactive whiteboard for schools and universities