GeoGebra Discovery
Diterbitkan oleh Zoltán Kovács
An experimental version of GeoGebra
Sebagian halaman ini tampil dalam bahasa aslinya karena terjemahannya belum selesai.
Sorotan
- Mengintegrasikan alat penalaran otomatis ke dalam konstruksi geometri dinamis
- Menghitung bukti matematika dan penemuan teorema secara otomatis
- Menggabungkan lingkungan aljabar dan kalkulus untuk penelitian eksperimental
Tentang aplikasi ini
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.
Tempat mendapatkannya
Linux
- Buka di FlathubTerbuka di tab baruRepositori paketFlathub
Dari penerbit
Pasang dari terminal
flatpak install flathub io.github.kovzol.geogebra-discovery
Kami tidak menghosting berkas ini, tidak memindainya, dan tidak memeriksa isinya. Baca keterangan sumbernya, lalu putuskan sendiri.