单项选择题

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

A.科学计算
B.数据处理
C.人工智能
D.辅助工程