下确界的英文

• infimum

• "下"英文翻译    below; down; under; undernea ...
• "确"英文翻译    true; reliable; authentic
• "界"英文翻译    boundary
• "本性下确界" 英文翻译 :    essential infimum; vrai minimum
• "点式下确界" 英文翻译 :    pointwise infimum
• "下确界, 最大下界" 英文翻译 :    greatest lower bound
• "上确界" 英文翻译 :    least upper bound; supremum
• "定义的下确性" 英文翻译 :    correctness in definition
• "本性上确界" 英文翻译 :    essential supremum; vrai maximum
• "本质上确界" 英文翻译 :    essential supremum
• "很精确界定" 英文翻译 :    be most precisely defined
• "上确界定理" 英文翻译 :    supremum theorem
• "上确界度量" 英文翻译 :    supremum metric
• "上确界范数" 英文翻译 :    supremum norm
• "本性上确界 本质上确界" 英文翻译 :    essentialsupremum
• "最小上界 上确界" 英文翻译 :    supremum
• "点态上确界的可微性" 英文翻译 :    differentiability of a pointwise supremum; differentiabilityofapointwisesupremum
• "是指标明一区域外缘的明确界线" 英文翻译 :    a boundary is a precise line marking the outer limits of an area *boundary
• "下犬齿" 英文翻译 :    stomach tooth
• "下裙部" 英文翻译 :    skirt end
• "下泉" 英文翻译 :    lower spring; shimozumi; shitazumi
• "下群发消息" 英文翻译 :    net send
• "下去都不能打算" 英文翻译 :    intend attempt propose
• "下然多夫" 英文翻译 :    dolni zandov
• "下去；下降；下沉；消退" 英文翻译 :    go down
• "下燃烧限度" 英文翻译 :    lfl

• The greatest lower bound of a is also called the infimum of a .
  A的最大下界边称为A的下确界。
• The greatest lower bound of a is also called the infimum of a
  A的最大下界边称为a的下确界。
• On the least bound of the number of non - exponent subgroups of ono - cyclic groups
  关于非循环群的非幂子群数的下确界
• 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是全脐的。
• 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 。

• 下确界的日语：れつの かげん かきゅうの さいだいかかい