1) Tucker lemma
Tucker引理
1.
For generalizing Tucker lemma which is one of the basic theories to the conic linear system,applies the dual cone concept and Farkas lemma of the conic linear system,and proves Tu-cker lemma of the conic linear system.
应用对偶锥的概念和线性锥系统的Farkas引理,给出了一般线性锥系统的Tucker引理。
2) Goldman-Tucker Theorem
Goldman-Tucker定理
1.
Goldman-Tucker Theorem of Generic Linear Program;
一般线性规划的Goldman-Tucker定理
3) Kuhn-Tucker theorem
Kuhn-Tucker定理
1.
One computing method of the minimizing internal forces in multiple robot manipulating systems based on the Kuhn-Tucker theorem was proposed because the Kuhn-Tucker theorem can transform the complex restricted conditions of the minimizing extremism problem.
利用Kuhn-Tucker定理可转化极值问题复杂约束条件的特性,提出了一种求解多机器人作用下物体内力极小值的方法。
2.
In this paper, using a saddle point theorem we prove an abstract Kuhn-Tucker theorem, in which we give an equivalent condition on the existence of solutions of nonlinear programming problems for abstract functions with constrains in operator form.
本文用鞍点定理证明了一个抽象的Kuhn-Tucker定理，即得到由算子形式给出的约束，定义在抽象空间上的函数的非线性规划问题解的存在性的一个等价条件。
4) Tucker theorem
Tucker定理
1.
Tucker theorem is one of the basic theories of linear programming.
为了将线性规划中的Tucker定理推广到一般线性锥系统上,应用对偶锥的概念和线性锥系统的Farkas引理给出了一般线性锥系统的Tucker定理。
5) lemma
[英]['lemə] [美]['lɛmə]
引理
1.
The study on lemmas of tolerance optimum design;
公差优化设计中几个引理的研究
6) It Lemma
It引理
补充资料：施瓦茨引理
施瓦茨引理
数学上，施瓦茨引理是复分析关于定义在单位开圆盘的全纯函数的一个结果，以赫尔曼·阿曼杜斯·施瓦茨为名。
设<math>\delta = \{z: | z | < 1\}</math>为复平面中的开圆盘，<math>f:\delta\to\delta</math>是全纯函数，并有f(0)=0。那么
<math> | f(z) | \le | z |</math>
对所有在<math>\delta</math>中的<math> z</math>，以及<math> | f'(0) | \le 1</math>。如果等式
<math> | f(z) |=| z |\,</math>
对任意z≠0成立，或
<math> | f'(0) |=1\,</math>，
那么<math> f</math>是一个旋转：<math> f(z)=az</math>，其中<math> | a |=1</math>。
这引理不及其他结果有名（例如黎曼映射定理，其证明有用到这引理），但是这是能显示全纯函数的严格性的一个简单结果。当然对于实函数没有类似的结果。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条