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.
佩雷尔曼的定理远远超过证明这些“不存在”的断言，正如怀尔斯证明的定理所告诉你的东西要多于一类方程不存在整数解这个结论。