There are mathematical theorem-proving programs.
有些程序可以证明数学定理。
It is theoretically possible to exclude some from the use of a poem, or a mathematical theorem, but exclusion is generally quite difficult.
理论上说，存在排除某些人使用某句诗歌或某个数学定理的可能。
But now it has also helped prove a new mathematical theorem as well.
但现在这个结果同时也帮助证明了一个新的数学定理。
In this paper we point out in the form of mathematical theorem that the system possesses new and deterministic results with evident physical meanings.
本文以数学定理的形式指出该体系具有一类新的决定论的、物理内容明显的结果。
The exact solution of derivatives of eigenvalue and eigenvector is presented by utilizing the mathematical theorem and new definitions of sensitivities.
本文利用数学定理和新的灵敏度定义给出特征值和特征向量导数的精确解。
We do not want many 'variations' in the proof of a mathematical theorem:' enumeration of cases', indeed, is one of the duller forms of mathematical argument.
在数学定理的证明中我们并不需要太多的“变数”，“各种情况的列举”实际上是一种更无趣的数学论证方式。
It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
应用推荐