v5.0.641.0-2022Sep27

Summary

This is an experimental release of GeoGebra Discovery, based on the official GeoGebra version 5.0.641.0.
It includes several extensions that are communicated on its website.

What is new in this release

The Tarski subsystem is faster and more stable on the following platforms:

• Windows 32 and 64 bit
• Linux
• Raspberry Pi OS
• Web (it requires Chrome >= 95, Firefox >= 100 or Safari 15.2, on older versions it does not work!)

(No change in speed on Mac. For your convenience, an unmodified Mac version is also included.)

Known bugs

• The 32-bit Windows version and the Raspberry Pi OS version crash on timeout in the Tarski subsystem. (The default timeout is 5 seconds. It can be increased by setting the CAS Timeout and save the new settings as default, or/and by using the command line option --prover=timeout:60, for example.)

Available platforms

• Windows 10 64-bit or 32-bit (they require an existing Java installation, version 8 or above, either 64-bit or 32-bit, respectively)
• Mac OS (with bundled JBR), help on installation
• Ubuntu 18.04 64 bit (an existing Java installation is required, version 8 or above).
• Web version (tested in Chrome 105.0.5195.125)
• Raspberry Pi OS (an existing Java installation is required, version 8 or above)

As always, you can also try GeoGebra Discovery's latest version online.