GeoGebra Discovery 2024Apr15

Summary

This is a stable release of GeoGebra Discovery, based on the official GeoGebra version 5.0.641.0. It includes several extensions that are communicated via its feature matrix.

What is new?

• Giac is updated to the latest version that provides very fast computation for the ShowProof command. Now it outperforms the outsourced variant via Singular with 202 successful certified test cases (of 301, where 255 can be proven without certification).
• French support is added to the ShowProof command (English, German, Hungarian and Spanish were already available).

Credits:

• Bernard Parisse (French translation, Giac improvements)
• Hans Schönemann (explanations on how Singular computes syzygies)
• Tomás Recio (general feedback, Spanish translation)
• Sabrije Avdula (feedback)

See https://github.com/kovzol/geogebra/commits/master/ for the full list of changes.

Available platforms

• Online version (recommended unless you need heavy or outsourced¹ computations or applets with several objects, tested in Chrome 123.0.6312.105)
• Windows 10/11
  • with bundled Microsoft Java 11.0.17, 2022-10-18 (recommended)
  • without Java (not recommended unless you know what you are doing: you need to install Java separately, or you need an existing 64-bit Java installation: version 8 or above)
• Mac OS (with bundled JBR Java), help on installation
• Linux
  • Most users should consider using the Snapcraft port: it updates automatically, therefore only a one-time installation is needed (recommended)
  • Bundle for Ubuntu Linux 22.04+ (not recommended unless you know what you are doing: an existing 64-bit Java installation is required, version 8 or above)
• Raspberry Pi OS 11 (an existing Java installation is required, version 11 is suggested)
• Web version in an extractable ZIP file, for offline use

Examples

The following files show how various outputs and exports can be created for the Euler line theorem. First, the CAS View must be opened and then the ShowProof command issued in the Algebra View.

• English proof as HTML
• English proof as Mathematica plain text
• English proof as Maple plain text
• French proof as HTML

Here are two screenshots that prove the midline theorem in the web version:

1. Outsourced computations can be done via Singular for algebraic problems, and via Mathematica, Maple (in the subsystems RegularChains or SyNRAC) or Reduce (in the subsytem RedLog) for real geometry problems. The computer algebra systems Giac and Tarski (the latter includes QEPCAD B) are embedded in GeoGebra Discovery. ↩