GeoGebra Discovery

Publicado por Zoltán Kovács

An experimental version of GeoGebra

Partes desta página aparecem no idioma em que foram escritas, porque a tradução não está concluída.

Destaques

Integra ferramentas de raciocínio automatizado em construções de geometria dinâmica
Calcula provas matemáticas e descobertas de teoremas automaticamente
Combina ambientes de álgebra e cálculo para pesquisa experimental

Sobre este aplicativo

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.

Onde obter

Linux

Repositório de pacotesFlathub
Do publicador
Abrir no FlathubAbre em uma nova aba
Instalar pelo terminal
flatpak install flathub io.github.kovzol.geogebra-discovery

Não hospedamos este arquivo, não fazemos varredura nele nem inspecionamos seu conteúdo. Leia o que a fonte diz e decida por conta própria.