Java Geometry Expert
by ADG Foundation
Dynamic geometry + automated proofs
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.
Permissions
Everything this app can reach outside its sandbox. Nothing here weakens it.
- inter-process communication (needed for X11)
--share=ipc - network
--share=network - X11 display, only when Wayland is unavailable
--socket=fallback-x11 - Wayland display
--socket=wayland - GPU acceleration
--device=dri - access to your documents folder
--filesystem=xdg-documents - access to your download folder
--filesystem=xdg-download
Who publishes this
The creator demonstrably controls this app id: Flathub verification, the hosting account owns the namespace, or a well-known file on their domain.
- installs a prebuilt binary instead of building from source (x2)
source:prebuilt - verified on Flathub: the developer proved they control this app id
publisher:flathub
Maintenance
Recent activity on the upstream repository, or built and reviewed by Flathub.
No staleness signals: recent activity, or built and reviewed by Flathub.