这个应该属于“符号计算”的范畴吧。
据我所知，几何定理证明的原理大致是利用解析几何把条件和结论用解析式写出来，然后利用符号计算逐个消元，最后验证结论。
以上为百科题库网整理的关于"几何专家是一个几何动态作图与定理自动证明软件。这类应用软件主要用于"试题答案及解析，如想学习更多信息技术/IT类竞赛题，欢迎访问www.baiketk.com查看搜索更多相关信息。
转载请注明：百科题库网https://www.baiketk.com/q_p5fb7367309927.html
相关题目推荐
- 在Internet选项窗口中的"程序"选项卡中,点击"重置Web设置"按钮,将()。
- 在Internet选项窗口中,主要设置IE个性化浏览的选项卡是()。
- 在Internet选项窗口中的"高级"选项卡中,下列不正确的是()。
- 在编辑Web格式的邮件时,可以插入的是()。
- 下列关于Web格式的邮件,叙述错误的是()。
- 20、当一台主机从一个网络移到另一个网络时,以下说法正确的是。()
- 在IE浏览器中可以访问()。
- 作有助于加快网页浏览速度的()。
- 如果想要控制计算机在Internet上可以访问的内容类型,可以使用IE的_____功能。()
- 如果在浏览网页时,发现了自己感兴趣的网页,想要把该网页的地址记住,以便以后访问,最好的办法是()__
- 目前网络设备的MAC地址由()位二进制数字构成,IP地址由()位二进制数字构成.
- 信息安全风险管理应该()。