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更多例句

词组短语

短语

• approximate theorem -proving 近似定理证明
• theorem -proving for robot problem solving [自]机器人问题求解的定理证明
• theorem m proving 定理证明
• theorem mechanical proving 定理机器证明
• Theorem Machine Proving 定理机器证明

• theorem 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.
  文章最后对形式验证的另一种技术——定理证明方法进行了相应的探讨。