theorem proving

常見(jiàn)例句

雙語(yǔ)例句

• 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.
  同時(shí)，也對(duì)四色問(wèn)題與初等幾何定理證明作了簡(jiǎn)單的討論。
• 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.
  佩雷爾曼的定理遠(yuǎn)遠(yuǎn)超過(guò)證明這些“不存在”的斷言，正如懷爾斯證明的定理所告訴你的東西要多于一類(lèi)方程不存在整數(shù)解這個(gè)結(jié)論。

原聲例句

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