theorem machine prove

theorem machine prove 基本解释

[计] 定理机器证明

重点词汇

theorem n. 定理, 原理 [化] 定理

machine n. 机器，机械；机械般的人；核心 vt. 用机器制造，用机器加工 vi. 被机器切削

prove vt. 证明，证实；[法]验证，检定；显示 vi. 显示出，证明是