theorem proving

theorem proving 基本解释

[计] 定理证明

词组短语

1、automatic theorem proving [计] 自动定理证明

2、mechanical theorem proving [计] 机器证明

3、resolution theorem proving [计] 归结定理证明

theorem proving 用法和例句

1、Antecedent derivation is an extension of theorem proving.

前件推导是定理证明的一种扩展。

2、The connection method with equality for automated theorem proving

自动定理证明中带有等词的连接法

3、From the elimination in Arithmetic in Nine Sections to the automated theorem proving

从九章消元法到定理机器证明

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

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

5、Mechanical Geometry Theorem Proving Based on the Elimination Method with Decoupling of Leading Terms for Polynomial Set

基于多项式组主项解耦消元法的几何定理机器证明

重点词汇

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

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