[单选题]

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

A . 人工智能

B . 科学计算

C . 数据处理

D . 计算机辅助设计