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.
在数学定理的证明中我们并不需要太多的“变数”，“各种情况的列举”实际上是一种更无趣的数学论证方式。
We lay emphasis on the process of obtaining this information. such as the mathematical model and its hypotheses. the mathematical theorem and approximate solution.
本文中介绍了该提取方法得出的过程，使用的物理模型及假设，数学原理及近似解法等。
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.”
他说，专注于一个定理的感觉，就像“一个猎人，一个数学概念的收集者。”
Godel theorem made mathematicians lose their belief of logic beauty, the crisis of belief appeared in mathematical field.
哥德尔不完备性定理抽走了数学家的逻辑美信仰，数学界出现了信仰危机。
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.
海涅定理是《数学分析》的重要定理。叙述海涅定理的一些等价形式，给出新的证明，并说明它们的应用。
This paper points out that the mathematical result of the corollary of the saddle point theorem is incorrect, and further are discussed the conditions about the existence of the saddle point.
本文指出了鞍点定理的推论的数学结果是不正确的，并进而讨论了鞍点的存在条件。
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.
将决策学中的一些概念推广到反演集合拓扑空间中，给出一些相关的定义、定理及其在实际工作中的应用。
Be that predecessors or the experiment infering, or passing after mathematical analysis verifies, summarizes and sums up out because of many theory, theorem and formula of electron technology.
因为电子技术的许多理论、定理和公式都是前辈们或经数学分析推导，或通过实验验证、概括和总结出来的。
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.
摘要：摘要：从欧拉定理的证明为切入口，探讨欧拉定理证明所体现数学思想方法，在此基础上探究其应用。
The Pythagoras theorem is a deductive theorem, which can not be one primitive method as its tone series is formed through mathematical calculation.
毕达哥拉斯律是一种演绎律，它是用数学计算方法形成的音列，不可能成为一种原始的方法。
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.
有关论述科斯定理的文献大都将注意力集中于讨论定理揭示的经济意义，而忽略了定理本身的推导和证明。
I is pointed out that Heawood applied the mathematical induction for the vertex number to prove 'The Five Color theorem' is incorrect.
同时我指出了希伍德对顶点数套用数学归纳法的格式来证明“五色定理”的方法是错误的，从而否定了希伍德证明的“五色定理”。
I is pointed out that Heawood applied the mathematical induction for the vertex number to prove 'The Five Color theorem' is incorrect.
同时我指出了希伍德对顶点数套用数学归纳法的格式来证明“五色定理”的方法是错误的，从而否定了希伍德证明的“五色定理”。
应用推荐