GeoGebra Discovery
Published by Zoltán Kovács
An experimental version of GeoGebra
Highlights
- Integrates automated reasoning tools into dynamic geometry constructions
- Calculates mathematical proofs and theorem discoveries automatically
- Combines algebra and calculus environments for experimental research
About this application
GeoGebra Discovery is an experimental branch derived from the standard GeoGebra mathematics software, tailored for Linux platforms. It integrates automated reasoning tools and theorem discovery capabilities directly into dynamic geometry, algebra, and calculus environments. Users can construct geometric shapes and algebraic relations while utilizing underlying algorithms to automatically deduce properties, prove statements, or find generalized formulas. The software serves educational and research purposes for exploring automated deduction systems within mathematical constructions.
Where to get it
Linux
- Open on FlathubOpens in a new tabPackage repositoryFlathub
From the publisher
Install from a terminal
flatpak install flathub io.github.kovzol.geogebra-discovery
We do not host this file, we do not scan it and we do not inspect its contents. Read what the source says, then decide for yourself.