GeoGebra Discovery
Опубликовано: Zoltán Kovács
An experimental version of GeoGebra
Часть этой страницы показана на языке оригинала, потому что перевод не закончен.
Основное
- Интегрирует инструменты автоматизированного рассуждения в динамические геометрические конструкции
- Автоматически вычисляет математические доказательства и открытия теорем
- Объединяет среды алгебры и исчисления для экспериментальных исследований
Об этом приложении
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.
Где скачать
Linux
- Открыть на FlathubОткроется в новой вкладкеРепозиторий пакетовFlathub
От издателя
Установка из терминала
flatpak install flathub io.github.kovzol.geogebra-discovery
Мы не размещаем этот файл у себя, не сканируем его и не изучаем его содержимое. Прочитайте, что пишет источник, и решайте сами.