单项选择题

“定理证明”属于计算机的______________方面的应用。

A、科学计算
B、人工智能
C、事务处理
D、辅助工程