本页部分内容以其撰写时的语言显示，因为翻译尚未完成。
要点
- 将自动推理工具集成到动态几何构造中
- 自动计算数学证明和定理发现
- 结合代数和微积分环境进行实验研究
关于此应用
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
我们不托管该文件，不扫描该文件，也不检查其内容。请阅读来源的说明，然后自行判断。