比方说某人有一条引理用于证明论文的主命题。
For instance, suppose one has a serviceable lemma that suffices for the task of proving the main theorems of the paper at hand.
第一章，基本概念和引理。
我们来证明下面的冗长的技术性的引理。
第二章介绍了矩阵知识、岭估计和若干引理。
Then the knowledge of the matrix, ridge estimation and several lemmas are introduced.
给出了亚纯函数四值定理中一个引理的简化证明。
We will give reduce demonstration for a lemma in four values theorem of meromorphic function.
给出廖山涛一个关键的组合引理一个几何式的证明。
It is given a geometrical proof of an essential combinatorial lemma of Liao.
这样读者就可以完整地跳过引理15'，完全不必关心B了。
Then that reader can skip the proof of Lemma 15 'completely, and not have to deal with B at all.
给出了三条引理，证明了一条预备定理与十一条定理。
The paper discusses on the nature of the space and proves a preparatory theorem and eleven theorems.
斯波纳引理涉及到把一个单纯形分解为较小的单纯形的问题。
Sperner's lemma concerns the decomposition of a simplex into smaller simplices.
结论针刺牵引理疗综合治疗腰椎间盘突出症具有良好的效果。
Conclusion the compound treatment with acupuncture and traction integrated physiotherapy has significant curative effect on inter-vertebral disk displacement.
本文研究了二次标准加入法原理，证明了四个引理和两个定理。
The principle of a double standard addition method is strictly demonstrated. Four lemmas and two theorems are given and proved.
我们先证明问题解的局部存在性和唯一性，并建立两个比较引理。
At first, we will prove the local existence and uniqueness of the solution, and establish two comparison lemmas.
此外，作者还提出加强列车牵引理论和应用的基础性研究等建议。
In addition, several Suggestions, including emphasis on the basic research on railway train traction in theory and application are made.
此外，作者还提出加强列车牵引理论和应用的基础性研究等建议。
In addition, several Suggestions, including emphasis on the basic research on railway train traction in th...
针对事后入侵响应，提出了一种基于引理推理的攻击过程分析方法。
Based on abduction inference, a method of network attack process analysis for incident response was designed.
第二章介绍了本文中的模型的主要假设以及在下文中用到的两个引理。
The second chapter Introduce the key assumptions and two lemma which are very useful below.
对于多元正态随机变量二次型的独立性的证明，最重要的是证明一个引理。
It is very important to prove a lemma for the proof of the independence between two quadratic forms of multivariate normal variables.
运用Zorn引理得到了非紧，非单调算子不动点存在性的一些有趣结果。
This paper obtains some new and interest theorem on the existence of fixed points for noncompact and no monotone operators.
牵引理疗仪是医院常用设备，多台理疗仪的操作控制和相应记录管理非常繁琐。
Traction physiotherapy tables are widely used in many hospitals. It is complex to control the tables, and the management of the records is another trouble.
利用分叉引理对签名体制进行证明，是进行签名体制安全性证明的一种重要方法。
Using forking lemma to prove signature scheme is an important method to prove the security of signature schemes.
当量测方程奇异假设条件成立及引理有解时，本文证明了最小阶奇异滤波器必定存在。
When the observational equation is under the hypothesis on singularity and a solution of the lemma exists, we show that there exists a minimal order filter.
这些理论主要包括援引理论、交易惯例理论、仲裁条款解释理论以及关联合同理论等。
Chapter two deals with the problem of extending arbitration clause to non-containing contracts in case of multi-contract arbitration.
利用KK M型引理，研究了在一般拓扑向量空间中的广义向量平衡问题解的存在性问题。
Based on KKM technique, the existence of solution to a generalized vector equilibrium problem is studied.
本文在此意义下证明几个有关引理，并利用它证明微积分学中关于极限的乘法公式也同样成立。
Under meaning, this paper proves several relative lemmas and proves that the multiplication form about the limit in classical calculus is also valid for the grey limit with the help of th lemmas.
基于向下闭合引理，对时空频繁状态表中的对象进行时空拓扑匹配，得到时空关联规则候选集；
Matching objects in the item set based on downward closure lemma and spatiotemporal topology: we match the objects in order to create the spatiotemporal association candidate set;
基于向下闭合引理，对时空频繁状态表中的对象进行时空拓扑匹配，得到时空关联规则候选集；
Matching objects in the item set based on downward closure lemma and spatiotemporal topology: we match the objects in order to create the spatiotemporal association candidate set;
应用推荐