GeoGebra Discovery
Publié par Zoltán Kovács
An experimental version of GeoGebra
Certaines parties de cette page apparaissent dans la langue dans laquelle elles ont été écrites, car la traduction n'est pas terminée.
Points clés
- Intègre des outils de raisonnement automatisé dans des constructions de géométrie dynamique
- Calcule automatiquement des démonstrations mathématiques et des découvertes de théorèmes
- Combine des environnements d'algèbre et de calcul pour la recherche expérimentale
À propos de cette application
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.
Où l’obtenir
Linux
- Ouvrir sur FlathubOuvre un nouvel ongletDépôt de paquetsFlathub
De l’éditeur
Installer depuis un terminal
flatpak install flathub io.github.kovzol.geogebra-discovery
Nous n’hébergeons pas ce fichier, nous ne l’analysons pas et nous n’en inspectons pas le contenu. Lisez ce qu’en dit la source, puis décidez par vous-même.