GeoGebra Discovery

Publicado por Zoltán Kovács

An experimental version of GeoGebra

Partes de esta página aparecen en el idioma en que se escribieron, porque la traducción no está terminada.

Aspectos destacados

Integra herramientas de razonamiento automatizado en construcciones de geometría dinámica
Calcula demostraciones matemáticas y descubrimientos de teoremas automáticamente
Combina entornos de álgebra y cálculo para la investigación experimental

Acerca de esta aplicación

GeoGebra Discovery is an experimental branch derived from the standard GeoGebra mathematics software, tailored for Linux platforms. It integrates automated reasoning tools and theorem discovery capabilities directly into dynamic geometry, algebra, and calculus environments. Users can construct geometric shapes and algebraic relations while utilizing underlying algorithms to automatically deduce properties, prove statements, or find generalized formulas. The software serves educational and research purposes for exploring automated deduction systems within mathematical constructions.

Dónde obtenerlo

Linux

Repositorio de paquetesFlathub
Del editor
Abrir en FlathubSe abre en una pestaña nueva
Instalar desde una terminal
flatpak install flathub io.github.kovzol.geogebra-discovery

No alojamos este archivo, no lo analizamos ni inspeccionamos su contenido. Lea lo que indica la fuente y decida por su cuenta.