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.
文章最後對形式騐証的另一種技術——定理証明方法進行了相應的探討。