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. Also, in some cases, there is no consensus on whether to include certain elements in GeoGebra or to leave them out (for example, because they are too specific for a particular audience).

We maintain a feature list. Some features are considered unstable, but many of them are mature and ready to try by anyone, and technically close to be able to being integrated into GeoGebra shortly. It is planned that each feature, after made stable, will be added to the official version of GeoGebra as well, but the GeoGebra Team may decide to leave some features out for technical, practical or didactical reasons. Anyway, we are doing our best and are open for discussion.

Technically speaking, GeoGebra Discovery is based on the freely available GitHub sources of GeoGebra which is maintained by the GeoGebra Team. Here we are working on a fork for revision control of the extensions. In addition, this web page has the following purposes:

• For end users, we point to the software packages that make possible to install and run GeoGebra Discovery on your computer.
• For end users, we explain the additions of GeoGebra Discovery compared to the official version of GeoGebra by short descriptions.
• For researchers, we provide a list of web references (research papers, links, benchmarks) for the additions.
• For programmers, we explain how to try the latest unstable version of GeoGebra Discovery. For this purpose we provide some scripts and programmatic tools.

End users may want to download one of the most recent releases. Then:

• To run GeoGebra Discovery, you need to extract the downloaded archive and run the file GeoGebra-Discovery.bat (or GeoGebra-Discovery on non-Windows systems). A short video tutorial is also available.
• In case the program does not start, you need to install Java RE.

For Linux users, the simplest way is to get GeoGebra Discovery from Flathub or the Snap Store:

The web version is available online at autogeo.online and usually updated on every new release. This version can be downloaded and run offline as well at autgeo.online/off.

This section can be technically challenging. If you are not familiar with program development, it is safer to use a stable release (see above).

You may decide to compile GeoGebra Discovery on your own.

If you do so, you will need a typical Linux, Mac or Windows system to make the software work. The provided scripts were tested on Ubuntu Linux 20.04 and above (64-bit). The latest versions also work on Mac OS 14 Sonoma, see the required steps below. Finally, you can use Windows 10/11 as well to compile and run GeoGebra Discovery.

The current version automatically downloads a release version of Tarski 1.37. In addition, the RealGeom system will be built, but not packaged or used, only when it is requested by the user. See below the detailed instructions.

These steps were tested on Ubuntu, and they may not work on other Linux systems.

• Open a terminal.
• Type git clone https://github.com/kovzol/geogebra-discovery to download the source code.
• Type cd geogebra-discovery to change the working directory.
• Enter ./get-build-tools to download some prerequisites including an appropriate Java Development Kit on Ubuntu Linux. On Raspberry Pi and on newer Ubuntu systems the default Java 11 (OpenJDK) may also be used, so you can skip this step.
• Run ./build5 to build the complete GeoGebra Discovery system.
• Enter ./run5 to start the software.
• If you want to make a copy of the program for redistribution, the command ./deploy5 will create a .zip file that contains all necessary components to run the program. (The deployment tool comes with a built-in help that can be invoked by the -h option.)

• Start Terminal: Press Cmd+Space to open spotlight search, and type terminal and hit return.
• Type git clone https://github.com/kovzol/geogebra-discovery to download the source code.
• Type cd geogebra-discovery to change the working directory.
• Type ./get-build-tools to get Java.
• Type ./build5 to build GeoGebra Discovery.
• Type ./run5 to test if GeoGebra Discovery runs properly.
• If you want to make a copy of the program for redistribution, type ./deploy5 -j to create a .zip bundle that contains all necessary files for GeoGebra Discovery. The bundle will be put in the relative folder dist/. (In case your working directory is /tmp/, you may want to copy the .zip bundle to another folder, say, your home folder, to avoid deletion of all your created files on an accidental reboot.)

On Windows we support both 64 and 32-bit builds. However, 32-bit builds are considered experimental.

• Set Developer Mode in Windows.
• Open a Powershell window as administrator. Install Chocolatey. Install MSYS2 by typing choco install msys2 in the Powershell prompt.
• If you plan to compile GeoGebra Discovery for 64-bit systems, start MSYS2/CLANG64 by starting the executable clang64 in C:\tools\msys64\ (we assume this is the correct installation folder). Alternatively, you may use MSYS2/CLANG32 if you want to create a 32-bit package.
• Install Microsoft's Java 11 if you want a 64-bit build. It is safe to use the Windows x64 .msi version. Alternatively, you can download a different Java JDK for a 32-bit build. Oracle's Java 1.8 has been successfully tested.
• Install Git for Windows (version 2.32.0(2) should work). Use the default settings during the installation, but enable symbolic links (this option is disabled by default).
• Open Git Bash and type git clone https://github.com/kovzol/geogebra-discovery.
• Go back to the MSYS2/CLANG64 window and change your working directory to see the folder from the previous step. This can be set with a command like cd /c/Users/<username>/geogebra-discovery where <username> stands for you username on Windows.
• Type ./build5 to build the program.
• Type ./run5 to test if GeoGebra Discovery runs properly.
• In case you want to create a redistribution package, you need to install two more tools in the MSYS2 subsystem. Type pacman -S rsync zip first. Then run ./deploy5 to create a .zip bundle for redistribution.

This feature is disabled by default on all system. You may want to use realgeom if you intend to outsource the real geometry computations to Mathematica. These are the steps you need to achieve this:

• Build the program (see above).
• Run helper/realgeom to start the realgeom server. It will run in a separate terminal.
• Start GeoGebra Discovery by using the command line ./run5 --realgeomws=enable:true,remoteurl:http\://localhost\:8765,cas:mathematica,timeout:10 for example.

• Type ./get-build-tools to download the prerequisites (only on earlier Linux systems and Mac).
• Run ./build6 to build GeoGebra Discovery.
• Enter ./run6 to start the software. A web browser window should appear and GeoGebra Discovery starts.
• Lastly, the command ./deploy6 creates a .zip file that contains all necessary components to run the program. This can be necessary if you want to redistribute the software. (This last step will not work on Windows.)

GeoGebra is written by its authors.

• Maintainer of GeoGebra Discovery is Zoltán Kovács [email protected].
• Thanks to Tomás Recio, M. Pilar Vélez, Noah Dana-Picard, Róbert Vajda, Antonio Montes, Francisco Botana, Pavel Pech, Carlos Ueno, Manuel Ladra, Pilar Paez, Celina Abar, Jonathan H. Yu, Keiichi Tsujimoto and Christopher W. Brown for their support. There are further people who contributed to this work (but not listed above), thanks to everyone!

See GeoGebra's licensing policy for general information on licensing GeoGebra. Since the developer team of GeoGebra Discovery does not provide any commercial support, all extensions (including artwork, translations) to GeoGebra are provided "as is". In particular, extensions to the source code are licensed to you under the terms of the GNU General Public License (version 3 or later) as published by the Free Software Foundation, the current text of which can be found via this link: https://www.gnu.org/licenses/gpl.html ("GPL"). Attribution (as required by the GPL) should take the form of (at least) a mention of this project page of GeoGebra Discovery.

A public list is available at Google Groups.

This table is ordered by maturity.

Feature	GeoGebra	GeoGebra Discovery	Maturity
Discover tool/command	no	yes
Stepwise discovery	no	yes
Compare command	no	yes
Proving inequalities	no	yes
RealQuantifierElimination command	no	yes
Prenex formulas	no	yes
IncircleCenter command	no	yes (with prover support)
Incircle tool	no	yes
IncircleCenter tool	no	yes
LocusEquation tool	no	yes
Dilate command	only numerical	with prover support
Envelope tool	no	yes
Raspberry Pi 3D View	no	yes
Giac: threads on Linux	no	yes
Same color for circles with the same radius	no	yes
Plotting logical connectives of inequalities	partial	full	Possible errors on saving
Plot2D command	no	yes	Possible errors on saving
CNI prover	no	yes	Subscripted labels yet unsupported
ShowProof command	no	yes	Translations missing
Export CAS View	no	HTML, Mathematica, Maple and Giac	Several commands missing
Export Construction Protocol as LaTeX	no	prototype	Working prototype
Automatic LaTeX captions	no	prototype	Support required for the web version
ApplyMap command	no	prototype	Bugs 1, 2

We maintain a technical documentation to keep some programming related details up-to-date in order to help a possible merge of the two codebases.

The database of issues is available at YouTrack.

The benchmarking system collects results and speed related information on a daily basis for the Prove, ProveDetails, LocusEquation, Envelope and Compare commands.

• Prove/ProveDetails test
• LocusEquation/Envelope test
• Compare test
• Discover test
• Prove test (inequalities)
• ShowProof test

• Prove/ProveDetails test
• LocusEquation/Envelope test
• Compare test
• Discover test
• Prove test (inequalities)
• ShowProof test

• Z. Kovács, T. Recio, M. P. Vélez: GeoGebra Discovery in Context (ADG 2021: Automated Deduction in Geometry, p. 141–147, 2021)
• Z. Kovács, T. Recio, M. P. Vélez: Automated Reasoning Tools in GeoGebra Discovery (ACM Communications in Computer Algebra 55(2), p. 39–43, 2021)
• Z. Kovács, T. Recio, M. P. Vélez: Automated Reasoning Tools with GeoGebra: What Are They? What Are They Good For? (Mathematics Education in the Age of Artificial Intelligence, p. 23–44, 2022)

• F. Botana, Z. Kovács, T. Recio: Towards an Automated Geometer (AISC 2018: Artificial Intelligence and Symbolic Computation, p. 215–220, 2018)
• Z. Kovács, J. H. Yu: Towards Automated Discovery of Geometrical Theorems in GeoGebra, 2020
• Z. Kovács, T. Recio: GeoGebra Reasoning Tools for Humans and for Automatons, 2020
• Z. Kovács: Discovering geometry via the Discover command in GeoGebra Discovery, REMATEC 16(37), p. 14–25, 2021
• Z. Kovács, J. H. Yu: Stepwise discovery of mathematical knowledge in GeoGebra, 2022

• Z. Kovács: The Relation Tool in GeoGebra 5 (ADG 2014: Automated Deduction in Geometry, p. 53–71, 2015)
• A. Hota, Z. Kovács, A. Vujic: Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery (ADG 2023: Automated Deduction in Geometry, p. 110–123, 2023)

• F. Botana, M. Hohenwarter, P. Janičić, Z. Kovács, I. Petrović, T. Recio, S. Weitzhofer: Automated Theorem Proving in GeoGebra: Current Achievements (Journal of Automated Reasoning 55, p. 39–59, 2015)
• Z. Kovács, T. Recio, M.P. Vélez: Detecting truth, just on parts (Revista Matemática Complutense 32, p. 451–474, 2018)
• Z. Kovács, T. Recio, L.F. Tabera, M.P. Vélez: Dealing with Degeneracies in Automated Theorem Proving in Geometry (Mathematics 9.16, p. 1964, 2021)

• C. Abar, Z. Kovács, T. Recio, R. Vajda: Conectando Mathematica e GeoGebra para explorar construções geométricas planas, 2019
• R. Vajda, Z. Kovács: GeoGebra and the realgeom Reasoning Tool, 2020
• C.W. Brown, Z. Kovács, R. Vajda: Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski (ADG 2021: Automated Deduction in Geometry, p. 156–166, 2021)

• Z. Kovács, T. Recio: Real quantifier elimination in the classroom, 2022

• Z. Kovács, T. Recio, M. P. Vélez: Showing Proofs, Assessing Difficulty with GeoGebra Discovery (ADG 2023: Automated Deduction in Geometry, p. 43–52, 2023)

• C. Brown, Z. Kovács, T. Recio: Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition (ACM Commun. Comput. Algebra 57.2, p. 43-46, 2023)

• Z. Kovács: Real-time Animated Dynamic Geometry in the Classrooms by Using Fast Gröbner Basis Computations (MCS 11, 351–361, 2017)
• A. Käferböck, Z. Kovács: The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt (ADG 2023: Automated Deduction in Geometry, p. 132–141, 2023)

• F. Botana, Z. Kovács: New tools in GeoGebra offering novel opportunities to teach loci and envelopes (arXiv 1605.09153, 2016)
• Z. Kovács: Achievements and Challenges in Automatic Locus and Envelope Animations in Dynamic Geometry (MCS 13(3), p. 131–141, 2019)
• Z. Kovács: Easy (but exact) study of caustics of conics (eJMT 17(3), p. 185–205, 2023)