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.
有些程序可以证明数学定理
耶鲁公开课 - 死亡课程节选
双语例句
原声例句
词组短语
- approximate theorem -proving 近似定理证明
- theorem -proving for robot problem solving [自]机器人问题求解的定理证明
- theorem m proving 定理证明
- theorem mechanical proving 定理机器证明
- Theorem Machine Proving 定理机器证明
短语
专业释义
- 定理证明
TP(Theorem Proving) has always been one of the most central concerns of AI.
自动定理证明一直是人工智能领域中最重要的问题之一。电子、通信与自动控制技术
- 定理证明
In the end we discuss another technique-the Theorem Proving method.
文章最后对形式验证的另一种技术——定理证明方法进行了相应的探讨。