Education · Flathub
Java Geometry Expert v0.87
Dynamic geometry + automated proofs
From Flathub, not verified with cpak
This app comes from Flathub and has not been tested with cpak yet. cpak checks it against the Flathub signing key and runs it in its own sandbox, without Flatpak on the system, but some features may not work. How Flathub apps work in cpak
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.
Package details
- Application ID
- io.github.ADG_Foundation.Java-Geometry-Expert
- Source
- Flathub
- Developer
- ADG Foundation
- License
- GPL-3.0-or-later
