Mathematical proof of the method is given.
给出了该法的数学证明。
If we were working in the context of a formal mathematical proof.
如果我们以正规严谨的数学用语来表达。
Graham's number is the largest number that has been used in a serious mathematical proof.
格雷厄姆系数是一个在严谨的数学证明中被用到的最大的数值。
Deductive inference and non-deductive inference are often used in mathematical proof.
演绎推理和非演绎推理经常被运用到数学证明中。
Deductive inference and non - deductive inference are often used in mathematical proof.
演绎推理和非演绎推理经常被运用到数学证明中。
The method of Constructing Function is often used and difficult to master in Mathematical proof.
利用它来构造函数解决问题，往往能达到事半功倍的效果。
But until someone provides a sound mathematical proof, the validity of the assumption remains open to question.
但直到有人找到一种可信的数学证明之前，这样的结论正确与否依然有待商榷。
The Hindus and Arabs were aware of the totally new concept of mathematical proof promulgated by the Greeks.
印度人和阿拉伯人懂得希腊人所揭示的对于数学证明的那种全然新颖的想法。
A mathematical proof should resemble a simple and clear-cut constellation, not a scattered cluster in the Milky Way.
数学证明应该如同简单而清晰的星座，而不是银河中散乱的星簇。
Where other methods - mathematical proof, archival research, philosophical reasoning - are more relevant it calls for them instead.
当其他方法——数学证明、档案研究、哲学推理——更切合时，科学精神就推崇那一方法。
Finally the article puts forward software test frame with practical significance from engineering point of view, and gives a mathematical proof for.
最后从工程角度提出了有现实意义的软件测试框架，并从数学上证明了该框架的有效性。
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.
高效地使用定理证明需要对工具的内部操作有坚实的理解并且熟悉数学证明过程。
It is quite common, for example, for an astronomer or a physicist to claim that he has found a 'mathematical proof' that the physical universe must behave in a particular way.
比如常常有天文学家或物理学家宣称他发现了一个“数学证明”，物质的宇宙以某一种方式在运行。
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.
有关论述科斯定理的文献大都将注意力集中于讨论定理揭示的经济意义，而忽略了定理本身的推导和证明。
In natural science, a mathematical formula of proposed must undergo the theory or experiment proof to just go, and this is what is history scholars are missing.
在自然科学领域，一个数学公式的提出必须要经过理论或实验的证明才行，而这正是历史学界所缺少的。
At the same time implemented machine proof of some mathematical theorems (Group theory) and logical Inference of statements.
与此同时，实现了一些数学(群论)定理的机器证明，命题的逻辑推演等。
This closely connected to the content of the mathematics analysis, construction method in the mathematical analysis method is the proof.
此文密切联系数学分析的内容，对构造法在数学分析中的证明方法进行研究。
For mathematical realists an especially pressing question is that of how a proof can establish a conclusion about mathematical objects.
对于一个数学实在论者来说，一个特别急迫的任务是回答数学证明是如何建立起关于数学对象的真理性问题。
In this paper, a dynamical mathematical model for articulated vehicles under steering imput is established and has obtained experimental proof.
本文建立了铰接式车辆对转向输入的动态响应数学模型，并得到了试验验证。
The paper agrees that only logical proof can be criterion of modern mathematical truth, and also discusses that logical proof is an action of practice.
本文同意逻辑证明是检验现代数学真理的唯一标准，同时也讨论了逻辑证明是一种实践活动的问题。
Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.
数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。
The mathematical induction is a method of proof often applied in mathematics. The most common and the most famous inductive way is the simple directed path.
数学归纳法是数学中常常用到的一种证明方法，最常见而最为人们所熟知的归纳途径是简单的有向路。
Infinite series in mathematical analysis is connected with Abstract integral in the measure theory through counting measure, and a new proof to an important property of infinite series is obtained.
通过引入计数测度，将数学分析中的无穷级数和测度论中的抽象积分联系起来，并在此基础上对双重连加号中，连加号的次序可以颠倒这个性质给出了一个证明。
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.
摘要：摘要：从欧拉定理的证明为切入口，探讨欧拉定理证明所体现数学思想方法，在此基础上探究其应用。
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 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.
在数学定理的证明中我们并不需要太多的“变数”，“各种情况的列举”实际上是一种更无趣的数学论证方式。
应用推荐