English translation for "下确界"
|
- infimum
Related Translations:
确吉: choegyalchoekyeqoigyi
- Example Sentences:
| 1. | The greatest lower bound of a is also called the infimum of a . A的最大下界边称为A的下确界。 | | 2. | The greatest lower bound of a is also called the infimum of a A的最大下界边称为a的下确界。 | | 3. | On the least bound of the number of non - exponent subgroups of ono - cyclic groups 关于非循环群的非幂子群数的下确界 | | 4. | As a result , ( i ) let k ( x ) be the function assign to each point x of m the infinimum of the sectional curvatures of m at that ponit , if k ( x ) satisfies , then m is totally umbilical . ( ii ) let q ( x ) be the function assign to each point x of m the infinimum of the ricci curvatures of m at that ponit , if q ( x ) satisfies q > 1 / 4 ( n - 2 ) ( c + 4h2 ) - 1 / 4nc , then m is totally umbilical , ( iii ) let a be the square length of the second fundermental form , if satisfies , then m is totally umbilical ) )中具有非零平行法平均曲率向量的紧致全实伪脐子流形m ~ n ,得到了( ? )如果m ~ n在其点x的截面曲率的下确界函数k ( x )满足条件:则m ~ n是全脐的( ? )如果m ~ n在其点x的ricci曲率的下确界函数q ( x )满足条件:则m ~ n是全脐的。 ( ? )如果m在m中的第二基本形式h长度的平方满足条件:则m ~ n是全脐的。 | | 5. | Secondly , because the operator is associativity , so it is possible to avoid the boring complicated letters thirdly , because the association of resolution and paramodulation is generalized complete , we can use the infimum of the operator to gradually close the false level of cause set . so it is not necessary to choose threshold before resolution and paramodulation . the operator is got from every resolution and paramodulation 其次,由于算于的运算适合结合律,因而可以避兔令人讨厌的复杂文宇1v … kp ) … )口第三, bofl中的归结和调解的结合是广义完备的,可以用每次归结和调解出来的下确界逐步逼近子句集的恒假水平,从而不必费心在调解前选择合适的i ’刊b 。 |
- Similar Words:
- "下去;(船等)下沉;下降" English translation, "下去;下降;下沉;消退" English translation, "下去都不能打算" English translation, "下泉" English translation, "下犬齿" English translation, "下确界, 最大下界" English translation, "下裙部" English translation, "下群发消息" English translation, "下然多夫" English translation, "下燃烧限度" English translation
|
|
|