GeoGebra Discovery
Veröffentlicht von Zoltán Kovács
An experimental version of GeoGebra
Teile dieser Seite erscheinen in der Sprache, in der sie verfasst wurden, weil die Übersetzung nicht abgeschlossen ist.
Highlights
- Integriert automatisierte Werkzeuge zum Schlussfolgern in dynamische Geometriekonstruktionen
- Berechnet mathematische Beweise und Theorem-Entdeckungen automatisch
- Kombiniert Algebra- und Analysisumgebungen für experimentelle Forschung
Über diese Anwendung
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.
Bezugsquellen
Linux
- Auf Flathub öffnenÖffnet in einem neuen TabPaketquelleFlathub
Vom Herausgeber
Installation im Terminal
flatpak install flathub io.github.kovzol.geogebra-discovery
Wir hosten diese Datei nicht, wir scannen sie nicht und wir sehen ihren Inhalt nicht ein. Lesen Sie, was die Quelle angibt, und entscheiden Sie dann selbst.