theorem proving

基本解釋

• 定理證明

英漢例句

雙語例句

• To produce the traditional readable proving of geometry theorem, the forward reasoning is necessary.
  為了生成傳統(tǒng)形式的幾何定理可讀證明，前推法必不可少。
• 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.
  佩雷爾曼的定理遠遠超過證明這些“不存在”的斷言，正如懷爾斯證明的定理所告訴你的東西要多于一類方程不存在整數(shù)解這個結(jié)論。

原聲例句

• There are mathematical theorem-proving programs.
  有些程序可以證明數(shù)學(xué)定理
  耶魯公開課 - 死亡課程節(jié)選

• theorem proving更多例句

詞組短語

短語

• approximate theorem -proving 近似定理證明
• theorem -proving for robot problem solving [自]機器人問題求解的定理證明
• theorem m proving 定理證明
• theorem mechanical proving 定理機器證明
• Theorem Machine Proving 定理機器證明

• theorem proving更多詞組

專業(yè)釋義

計算機科學(xué)技術(shù)

• 定理證明

  TP(Theorem Proving) has always been one of the most central concerns of AI.
  自動定理證明一直是人工智能領(lǐng)域中最重要的問題之一。

  電子、通信與自動控制技術(shù)

• 定理證明

  In the end we discuss another technique-the Theorem Proving method.
  文章最后對形式驗證的另一種技術(shù)——定理證明方法進行了相應(yīng)的探討。