在计算机中,“几何定理证明”属于的应用领域是什么?

这个应该属于“符号计算”的范畴吧。据我所知,几何定理证明的原理大致是利用解析几何把条件和结论用解析式写出来,然后利用符号计算逐个消元,最后验证结论。