3,365 apps tracked 0 new today 17 updated today Synced 5m ago

Apps / GeoGebra Discovery

GeoGebra Discovery

An experimental version of GeoGebra

Zoltán Kovács ✓ Verified

io.github.kovzol.geogebra-discovery
View on Flathub ↗

GeoGebra Discovery is an experimental version of GeoGebra. It contains some bleeding edge features of GeoGebra that are under heavy development and therefore not intended for every day use yet, so they are not included in the official GeoGebra version.

Report an issue ↗Website ↗Source code ↗Subscribe via RSS

Screenshots

Using the Discover command on a vertex of a regular octagon
Using the Discover command on a vertex of a regular octagon
Using the Discover command on a vertex of a regular octagon (report on geometric features)
Using the Discover command on a vertex of a regular octagon (report on geometric features)
Real quantifier elimination
Real quantifier elimination
Definition of the derivative via real quantifier elimination
Definition of the derivative via real quantifier elimination
Faithful plotting of higher degree algebraic curves (degree 6)
Faithful plotting of higher degree algebraic curves (degree 6)
Faithful plotting of higher degree algebraic curves (degree 3)
Faithful plotting of higher degree algebraic curves (degree 3)
A proof of Euler's Inequality (by using real quantifier elimination)
A proof of Euler's Inequality (by using real quantifier elimination)
An algebraic proof of Thales' Circle Theorem
An algebraic proof of Thales' Circle Theorem
A proof of concurrency of medians in a triangle via stepwise discovery
A proof of concurrency of medians in a triangle via stepwise discovery
Faithful plotting of higher degree semi-algebraic sets (degree 3)
Faithful plotting of higher degree semi-algebraic sets (degree 3)

Observed history

App ChangeVersionWhen ↓

No observed changes yet.

The initial import establishes a baseline. Future version changes will appear here.

Browse the app catalogue →

Upstream releases

Release notes supplied by the developer. These dates are not Flathub package publication times.

5.0.641.030 Jul 2026

Release description

  • Improvements and bug fixes in the CAS export to Maple
  • The DescribeStatement command allows a second parameter now to break lines between the descriptive steps
5.0.641.027 May 2026

Release description

  • Improvements in the CAS export to Maple
  • Tarski is updated to 1.42
  • Giac is updated to its most recent version
  • Improved console and texmacs modes
  • Some bug fixes, including random crashes on exit
5.0.641.018 Apr 2026

Release description

  • German, Spanish and Hungarian translation for the complex number identity (CNI) method
  • Extended explanations and Eliminate(...) computations for the CNI method
  • DescribeStatement command (with German, Spanish and Hungarian translations)
  • Improved Maple export of the CAS View
5.0.641.018 Feb 2026

Release description

  • Console mode
  • Basic support for TeXmacs