theorem proving
常见例句
- To produce the traditional readable proving of geometry theorem, the forward reasoning is necessary.
为了生成传统形式的几何定理可读证明,前推法必不可少。 - Additionally, the well—known four colour problem and elementary geometry theorem—proving problem have been discussed.
同时,也对四色问题与初等几何定理证明作了简单的讨论。 - Perelman's theorem goes far beyond proving this "non-existence" claim, just as Wiles' theorem tells you much more than non-existence of integer solutions of certain equations.
佩雷尔曼的定理远远超过证明这些“不存在”的断言,正如怀尔斯证明的定理所告诉你的东西要多于一类方程不存在整数解这个结论。 - There are mathematical theorem-proving programs.
有些程序可以证明数学定理
耶鲁公开课 - 死亡课程节选 返回 theorem proving