在计算机中,“几何定理证明”属于的应用领域是什么?
来源:百度知道 编辑:UC知道 时间:2024/05/29 16:02:13
如题~
这个应该属于“符号计算”的范畴吧。
据我所知,几何定理证明的原理大致是利用解析几何把条件和结论用解析式写出来,然后利用符号计算逐个消元,最后验证结论。
UC知道是一部内容开放、自由的互动网络百科全书
客观、专业、权威的知识性百科全书
来源:百度知道 编辑:UC知道 时间:2024/05/29 16:02:13
这个应该属于“符号计算”的范畴吧。
据我所知,几何定理证明的原理大致是利用解析几何把条件和结论用解析式写出来,然后利用符号计算逐个消元,最后验证结论。