mechanical theorem proving

mechanical theorem proving 基本解释

[计] 机器证明

mechanical theorem proving 用法和例句

1、Trigonometric identity and the mechanical theorem proving in elementary geometry

三角恒等式与初等几何定理的机械化证明

重点词汇

mechanical a. 机械的, 机械性的, 力学的 [医] 机械的, 力学的

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

proving [计] 验证, 证明 [医] 药力试验(顺势疗法的名词)