geogebra-discovery
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.
Download a stable release
Desktop version (Discovery 5)
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:
Web version (Discovery 6)
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.
Try the latest unstable version: Prerequisites, compilation, running and deployment
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.
Discovery 5
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.
Steps to build GeoGebra Discovery on Linux
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-discoveryto download the source code. - Type
cd geogebra-discoveryto change the working directory. - Enter
./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.)
Steps to build GeoGebra Discovery on macOS
- 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.)
Steps to build GeoGebra Discovery on Windows 10
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.
Force running realgeom
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.
Discovery 6
- 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.)
Authors
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.
License
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.
Mailing list
A public list is available at Google Groups.
Feature matrix
New features
This table is ordered by maturity.
| Feature | GeoGebra | GeoGebra Discovery | Next step |
|---|---|---|---|
| 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 | |
| Plot2D command | no | yes | |
| ShowProof command | no | yes | |
| Export CAS View | no | HTML, Mathematica, Maple and Giac | |
| Export Construction Protocol as LaTeX | no | prototype | |
| ApplyMap command | no | prototype | |
| Automatic LaTeX captions | no | prototype |
Features that have already been merged
| 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 |
Technical documentation
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.
Bugs
The database of issues is available at YouTrack.
Benchmarks
The benchmarking system collects results and speed related information on a daily basis for the Prove, ProveDetails, LocusEquation, Envelope and Compare commands.
Latest outputs
- Prove/ProveDetails test
- LocusEquation/Envelope test
- Compare test
- Discover test
- Prove test (inequalities)
- ShowProof test
All outputs
- Prove/ProveDetails test
- LocusEquation/Envelope test
- Compare test
- Discover test
- Prove test (inequalities)
- ShowProof test
References
- 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)
Discover command
- 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
Relation command
- 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)
Prove/ProveDetails commands
- 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)
Compare command
- 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)
RealQuantifierElimination command
ShowProof command
Plot2D command
LocusEquation command
- 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)
Envelope command
- 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)