There are mathematical theorem-proving programs.
有些程序可以证明数学定理。
But now it has also helped prove a new mathematical theorem as well.
但现在这个结果同时也帮助证明了一个新的数学定理。
It is theoretically possible to exclude some from the use of a poem, or a mathematical theorem, but exclusion is generally quite difficult.
理论上说，存在排除某些人使用某句诗歌或某个数学定理的可能。
We are looking for differences of generality between one mathematical theorem and another, and in Whitehead's sense all are equally general.
我们在寻找另一种普遍性，可以将不同的数学定理区别开来，虽然在怀特黑德看来都是一样的。
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.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
The sensation of working on a theorem, he says, can be like being “a hunter and gatherer of mathematical concepts.”
他说，专注于一个定理的感觉，就像“一个猎人，一个数学概念的收集者。”
This paper discusses a principal problem in grey mathematical theory, that is grey set and its operation, and proves the decomposition theorem, representation theorem and extension principle.
讨论灰色数学理论的一个基本问题，即灰色集合以及它的有关运算，灰集的分解定理、表现定理和扩张原理。
Discussed the application of mathematical holography method briefly through the concrete example in the university mathematics concept as well as the theorem teaching.
通过具体的实例探讨了数学全息方法在大学数学概念、定理教学中的应用。
By citing a mathematical testifying method, the judges can find or establish an auxiliary theorem so as to testify whether legal interpretation can have ultimately the "real" or general objectivity.
裁判者是否能援用数学证明的方法，在疑难案件中发现或设定一条辅助定理，可旁证法律解释最终能否获得“真的”或普适意义上的客观性。
Four theorems about continuous function on an closed interval are proved by a interval sequence theorem in mathematical analysis.
用数学分析中的区间套定理证明了闭区间上连续函数的四个定理。
The Heine's theorem is an important theorem of "Mathematical Analysis". This thesis narrates some equal forms, gives the new testimonies and illustrates their practice.
海涅定理是《数学分析》的重要定理。叙述海涅定理的一些等价形式，给出新的证明，并说明它们的应用。
The duality theory is the basic theory for mathematical planning in which the study of weak duality theorem under different controlling conditions is an important part of duality theorem research.
对偶理论是数学规划的理论基础，其中在各种约束条件下对弱对偶定理的研究是对偶理论研究的重要组成部分。
The mathematical method is used to prove composition theorem of acceleration of a particle when the carrier motion is rotation.
用数学方法证明牵连运动为转动时点的加速度合成定理。
In this paper, according to inversion set and its topological space definition, we studied some mathematical definition and their relevant theorem of decision theory, and apply theory to practice.
将决策学中的一些概念推广到反演集合拓扑空间中，给出一些相关的定义、定理及其在实际工作中的应用。
Differential equation and probability limit theorem have been widely used in the mathematical model of biological population growth.
以往关于生物种群增长的数学模型多是用微分方程和概率极限定理的方法来推导的。
Even though the statement of the theorem is easy to understand, the proof consumed almost the entire life of one person and used exoteric mathematical topics that most of us never heard of.
尽管该定理的表述本身很容易理解，但它的证明几乎耗尽了一个人毕生的心血，而且要用到绝大多数人闻所未闻的罕见的数学问题。
Abstract: from the proof of the theorem of related euler, euler theorem proving mathematical way of thinking, which reflected on the basis of the application.
摘要：摘要：从欧拉定理的证明为切入口，探讨欧拉定理证明所体现数学思想方法，在此基础上探究其应用。
Electromagnetic Field and Electromagnetic Wave make students grasp the theorem and the physical meaning of the Maxwell equations and mathematical expressions.
本课程使学生掌握电磁场的有关定理、定律、麦克斯韦方程等的物理意义及数学表达式。
Effective use of a theorem prover requires a solid understanding of the internal operations of the tool and a familiarity with the mathematical proof process.
高效地使用定理证明需要对工具的内部操作有坚实的理解并且熟悉数学证明过程。
Most literature on Coase Theorem focuses on the economical implications derived from this significant theory, however, the mathematical proof of the theorem has been disregarded.
有关论述科斯定理的文献大都将注意力集中于讨论定理揭示的经济意义，而忽略了定理本身的推导和证明。
Most literature on Coase Theorem focuses on the economical implications derived from this significant theory, however, the mathematical proof of the theorem has been disregarded.
有关论述科斯定理的文献大都将注意力集中于讨论定理揭示的经济意义，而忽略了定理本身的推导和证明。
应用推荐