Mobile
Log In Sign Up
Home > chinese-english > "下确界" in English

English translation for "下确界"

infimum

Related Translations:
确尔:  kakuji
确吉:  choegyalchoekyeqoigyi
确能力:  corena
确一:  kakuichi
确井:  kataiusui
涡流确:  eddy zone
确史:  kakushi
确数:  exact quantity
确卫:  kakue
确吾:  kakugo
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