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.
珮雷爾曼的定理遠遠超過証明這些“不存在”的斷言，正如懷爾斯証明的定理所告訴你的東西要多於一類方程不存在整數解這個結論。