Software · Education & science

Java Geometry Expert

Java Geometry Expert is a mathematics program, available on Linux.

Completely free
Linux
Open source

Ad-supported exit link (Clictune): an intermediate page may show for a few seconds before the official website. Direct link to the website, no intermediate page

Report an error

Geographic availability: No geographic restriction found in our sources; availability is not checked country by country.

Technical details

Pricing: Completely freeconfirmed by Flathub
License: GPL-3.0+ — Open source (copyleft)confirmed by Flathub
Open source: Yes
Commercial use: Yesconfirmed by Flathub
Account required: not documented
Credit card required: Noconfirmed by Flathub
Watermark: Not applicable
Ads: not documented
Platforms: LinuxEstablished by Linux: Flathub
Publisher: ADG Foundation
Latest version: 0.87 (1 February 2026)
Latest activity: 20 June 2026
Source code: github.com/ADG-Foundation/Java-Geometry-Expert

At a glance

All of Java Geometry Expert is free: no feature is locked behind a paid plan, and its code is open.

Its licence (GPL-3.0+) is a copyleft open source licence: you may use, study, modify and redistribute it, including commercially; modified versions must keep the same licence.

Strengths

Open source code
Commercial use allowed

About

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.

Description from Flathub — AppStream (Flathub)

Sources and checks

Facts collected from Flathub (credit card, source code, publisher, licence, free status, platforms, commercial use, version) — 10 November 2026
Last technical check: 8 November 2026
Description from Flathub — AppStream (Flathub)

How listings are built →

Do you develop Java Geometry Expert?

Correct this listing with the report form, or cite it with this optional badge (it shows the verified free status and changes nothing in the ranking):

<a href="https://licitpro.fr/en/resource/java-geometry-expert"><img src="https://licitpro.fr/badge/java-geometry-expert.svg?l=en" alt="Listed on LicitPro" height="20"></a>

Developers and publishers →