讨论了日常生活中的数学证明。
This paper discusses the mathematical proofs in everyday life.
给出了该法的数学证明。
演绎推理和非演绎推理经常被运用到数学证明中。
Deductive inference and non - deductive inference are often used in mathematical proof.
困难的数学证明需要天才的解答，而且它往往是令人着迷的。
In math, difficult proofs require ingenious solutions, and those tend to be interesting.
演绎推理和非演绎推理经常被运用到数学证明中。
Deductive inference and non-deductive inference are often used in mathematical proof.
格雷厄姆系数是一个在严谨的数学证明中被用到的最大的数值。
Graham's number is the largest number that has been used in a serious mathematical proof.
本论文还对这些必要性条件进行了严格的数学证明。
The strict mathematical proofs for these conditions are carried out in this paper.
“这个简单的数学证明911是一个拆迁，”他说。
然后总结了这些几何度量的性质，并进行了数学证明；
Then the properties of these geometric measures were summarized and the mathematical proofs were finished.
数学证明应该如同简单而清晰的星座，而不是银河中散乱的星簇。
A mathematical proof should resemble a simple and clear-cut constellation, not a scattered cluster in the Milky Way.
但直到有人找到一种可信的数学证明之前，这样的结论正确与否依然有待商榷。
But until someone provides a sound mathematical proof, the validity of the assumption remains open to question.
首先提出了数论中的原根成对存在定理，并进行了详细的数学证明。
In this paper, a theorem of primary root exists as a couple in the Number Theory was suggested, and detailed mathematic proof was given.
人类的自由意志似乎是最难以处理的哲学课题，远非数学证明所能表达。
Human free will might seem like the squishiest of philosophical subjects, way beyond the realm of mathematical demonstration.
其中中间节点法给出了详细的数学证明，穷举搜索法给出了具体的算法。
Middle node law among them give and publish detailed mathematics prove, exhaust and search for law give and produce the concrete algorithm.
印度人和阿拉伯人懂得希腊人所揭示的对于数学证明的那种全然新颖的想法。
The Hindus and Arabs were aware of the totally new concept of mathematical proof promulgated by the Greeks.
当其他方法——数学证明、档案研究、哲学推理——更切合时，科学精神就推崇那一方法。
Where other methods - mathematical proof, archival research, philosophical reasoning - are more relevant it calls for them instead.
给出了峰值电流控制模式稳定性的数学证明，提出了驱动脉冲宽度稳定性概念。
The mathematic research on stability of current control mode is discussed in this paper, and a new concept of the driver pulse width stability of the converter is proposed.
而且，一个美妙的数学证明就像那晚间的星空，即便在我的身后也会永久于世。
And just as the sky in the night, the beauty of a proof remains long after I am gone.
本文提出了能控标准形和能观测标准形转移矩阵的新求法，并且给出了数学证明。
This paper puts forward a new method of transition matrix for the controllable canonical form and the observable canonical form, and gives a proof in mathematics.
高效地使用定理证明需要对工具的内部操作有坚实的理解并且熟悉数学证明过程。
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.
认识到科技的局限性，发现一个妙不可言的数学证明代替了我一度探索宇宙的梦想。
Haveing realized the limitations of technology, finding clever mathematical proofs is surrogate to my once held dreams of space exploration.
经过严格的数学证明，新的信息流模型合理且安全，能较好反映核电站网络的安全要求。
Strict mathematic verification showed that this information flow model is reasonable and safe, which can reflect the safety requirements of the Nuclear Power Plant network.
本文给出了非对称自变量的线性各向同性标量值和张量值张量函数表示定理的数学证明。
This paper gives a mathematical demonstration of the representation theorems for linear, isotropic scalar - and tensor-valued tensor functions of an asymmetric argument.
提出一种随机公开密钥加密算法和一个压缩算法，并给出这个加密算法严格的数学证明。
This paper puts forward a new random key encryption algorithm and a new compression algorithm, and gives the strict mathematical certification for this encryption algorithm.
看到情感认知能唤起适当的数学证明，也许令人惊异；因为我们本认为这仅仅关系到智力。
It may be surprising to see emotional sensibility invoked apropos of mathematical demonstrations which, it would seem, can interest only the intellect.
比如常常有天文学家或物理学家宣称他发现了一个“数学证明”，物质的宇宙以某一种方式在运行。
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.
这些材料可能包括设备的详细描述，相关的数学证明，研究问卷或一个引用作者的意图的详细说明。
Such material might include detailed descriptions of equipment, relevant mathematical proofs, research questionnaires or a detailed description of a cited author's intent.
同时在激励函数单调递增的条件减弱的情况下，给出了两条渐近稳定的定理，并给了严格的数学证明。
With the condition of inspirit functions increasing by degrees weakening, two new global asymptotic stable theorems and strict mathematic proof were given.
围绕这两个方面给出了一些改进的参数估计算法，并用鞅的各种收敛理论对之进行了严格的数学证明。
Some improved parameter estimation algorithms are presented , their convergent properties are proved by using the martingale convergence theorem .
围绕这两个方面给出了一些改进的参数估计算法，并用鞅的各种收敛理论对之进行了严格的数学证明。
Some improved parameter estimation algorithms are presented , their convergent properties are proved by using the martingale convergence theorem .
应用推荐