科学家应用计算机模拟进行几何定理的证明，该应用属于下列计算机应用领域中的( )。