我国著名数学家吴文俊院士应用计算机进行几何定理的证明，该应用属于计算机应用领域中的（）。

我国著名数学家吴文俊院士应用计算机进行几何定理的证明，该应用属于计算机应用领域中的（）。
A.人工智能
B.科学计算
C.数据处理
D.计算机辅助设计
正确答案：A