应用计算机进行几何定理的证明,该应用属于计算机应用领域的什么