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. We maintain 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 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), and partially on Raspbian Buster (both Raspberry Pi 3 and 4 should work, however you need at least 2 GB of memory for compilation). The latest versions also work on Mac OS 11 Big Sur, see the required steps below. Finally, you can use Windows 10 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 (or, if the platform is the Raspberry Pi system). See below the detailed instructions.
These steps were tested on Ubuntu, and they may not work on other Linux systems.
- Open a terminal and type
./get-build-toolsto 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
./build5to build the complete GeoGebra Discovery system. - Enter
./run5to start the software. - If you want to make a copy of the program for redistribution, the command
./deploy5will 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-hoption.)
- Start Terminal: Press Cmd+Space to open spotlight search, and type terminal and hit return.
- Type
git clone https://github.com/kovzol/geogebra-discoveryto download the source code. - Type
cd geogebra-discoveryto change the working directory. - Type
./get-build-toolsto get Java. - Type
./build5to build GeoGebra Discovery. - Type
./run5to test if GeoGebra Discovery runs properly. - If you want to make a copy of the program for redistribution, type
./deploy5 -jto 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 msys2in the Powershell prompt. - If you plan to compile GeoGebra Discovery for 64-bit systems, start MSYS2/CLANG64 by starting the executable
clang64inC:\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-discoverywhere<username>stands for you username on Windows. - Type
./build5to build the program. - Type
./run5to 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 zipfirst. Then run./deploy5to create a .zip bundle for redistribution.
This feature is disabled by default on all system, except on a Raspberry Pi. 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/realgeomto 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:10for example.
- Type
./get-build-toolsto download the prerequisites (only on earlier Linux systems and Mac). - Run
./build6to build GeoGebra Discovery. (Due to lack of memory this will not work on Raspberry Pi.) - Enter
./run6to start the software. A web browser window should appear and GeoGebra Discovery starts. - Lastly, the command
./deploy6creates 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 zoltan@geogebra.org.
- 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.
A public list is available at Google Groups.
This table is ordered by maturity.
| Feature | GeoGebra | GeoGebra Discovery | Next step |
|---|---|---|---|
| Discover tool/command | no | yes |  Scheduled for merging into GeoGebra |
| Stepwise discovery | no | yes |  GeoGebra Team: approve/update |
| Compare command | no | yes | GeoGebra Team: approve/update |
| Proving inequalities | no | yes | GeoGebra Team: approve/update |
| RealQuantifierElimination command | no | yes | GeoGebra Team: approve/update |
| Prenex formulas | no | yes | GeoGebra Team: approve/update |
| IncircleCenter command | no | yes (with prover support) | GeoGebra Team: approve (discuss Center(Incircle) first) |
| Incircle tool | no | yes | GeoGebra Team: approve/update |
| IncircleCenter tool | no | yes | GeoGebra Team: approve/update |
| LocusEquation tool | no | yes | GeoGebra Team: approve/update |
| Dilate command | only numerical | with prover support | GeoGebra Team: approve/update |
| Envelope tool | no | yes | GeoGebra Team: approve/update |
| Raspberry Pi 3D View | no | yes | GeoGebra Team: approve/update |
| Giac: threads on Linux | no | yes | GeoGebra Team: approve/update |
| Same color for circles with the same radius | no | yes | GeoGebra Team: approve/update |
| Plotting logical connectives of inequalities | partial | full | GeoGebra Team: approve/update |
| Plot2D command | no | yes | GeoGebra Team: approve/update |
| ShowProof command | no | yes |  Add some missing descriptions |
| Export CAS View | no | HTML, Mathematica, Maple and Giac | Perform general testing |
| Export Construction Protocol as LaTeX | no | prototype |  Implement CAS/Spreadsheet view, add web implementation |
| ApplyMap command | no | prototype | Fix bugs and make improvements |
| Automatic LaTeX captions | no | prototype | Add support for the web version |
| Feature | GeoGebra version | Date |
|---|---|---|
| Java OpenGL 2.5 support | 5.2 | September 2023 |
| Fast symbolic angle bisectors (prover) | 5.0.641.0 | May 2021 |
| Algebraic curves as inputs in locus computations | 5.0.641.0 | May 2021 |
| Incircle (prover support) | 5.0.641.0 | May 2021 |
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)