GeoGebra Discovery 2023Dec10

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 on its website.

What is new?

• The Plot2D command can have a second argument: "x" or "y". If it is set, the cylindrical algebraic decomposition will be created with respect to the given variable.
• A minor bug fix in the prover.

Available platforms

• Windows 10
  • with Java (recommended):
    • 32-bit, with bundled Oracle Java 1.8.0-211 (recommended)
    • 64-bit, with bundled Microsoft Java 11.0.17, 2022-10-18
  • without Java (you need to install Java separately, or you need an existing Java installation: version 8 or above, either 64-bit or 32-bit, respectively):
    • 64-bit
    • 32-bit
• Mac OS (with bundled JBR Java), help on installation
• Ubuntu 18.04+ 64 bit (an existing Java installation is required, version 8 or above).
• Raspberry Pi OS 11 (an existing Java installation is required, version 11 is recommended)
• Web version (tested in Chrome 119.0.6045.199)

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

Example

Type Plot2D(x² < y ∧ x + y > 0,"x") or Plot2D(x² < y ∧ x + y > 0,"y") to get the cylindrical algebraic decomposition for the given inputs with respect to x or y.