定理的

Albert

阿尔贝特

在证明中他们使用了类域论方面的重要定理--格伦瓦尔德定理. 这个猜想的证明,在当时的数学界是一件大事. 美国著名代数学家A.A.阿尔贝特(Albert)说:线性结合代数的理论,当决定所有有理可除代数的问题找到了解答的时候,也

babushka

巴布什卡

开罗革(Kellogg)与赛德尔(Seidel)关于保角变换的边值定理,孟德尔(Montel)、辻正茨(Tsuji)与鲁米斯(Loomis)关于正规族和调和函数的结果,法都(Fatou)关于泊阿松(Poisson)积分的定理,巴布什卡(Babushka)不等式,柯西(Cauchy)型积分定理,

Bayes

贝斯

即在1763年已发表的贝斯定理.可是,拉普拉斯在书中没有提到T.贝斯(Bayes)的名字,而作为自己的一个定理.接下去的几章讨论各种实际问题中提出的概率计算方法.第十一章讲述所谓"见证的概率".典型例子是抽签问题.设在袋中有带号码的签条,

berg

(贝尔格)

当代数学名家L.贝尔格(Berg)、E.里克司廷斯(Riekstens)、G.阿斯科利(Ascoli)等人在各自的论文或专著中都介绍了徐利治的"渐近积分定理"和"展开定理",德国数学家R.黎德尔(Riedel)在作博士论文时还将推广徐利治的渐近积分定理作为选题.

invariant set

不变集

而许多动态系统中的不变集(invariant set)与 Brownian motions 均呈现为碎形. 点集拓朴理论虽然抽象,但它构造出实变函数论之基础﹔从这些观念衍生出的一些定理如极值定理?B中间值定理,更提供了许多数学理论与应用问题的计算基础. 此外,

law of large numbers

大数定律

他把一个重要的概率定理转了一个方向,这个定理就是大数定律(law of large numbers). 大数定律指出,如果某事件有给定的概率(比如掷一个骰子,得到六点这一事件的概率是六分之一),而且如果我们重复地进行相同的试验时,该事件发生的次数的比率就会越来越接近这个概率值.

posterior probability

事后机率

可说明变数间相互影响程度的机率关系,为一机率性专家系统[70],说明如下贝氏定理(Bayes' theorem)乃结合事前机率(prior probability)与样本机率(sample probability),来推论出事后机率(posterior probability)的一种定理,贝氏网路则是依贝氏定理,

pumping

泵浦

.3 Chomsky对文法的分类 2.4 文法产生语言 习题 第3章 上下文无关文法与上下文无关语言 3.1 消除无关文法中的无用非终结符号 3.2 推广的化简上下文无关文法 3.3 推导树 3.4 空串定理 3.5 无关语言的泵浦(Pumping)定理 3.6 短语

Soddy

索迪

斯潘塞在他的自传中重新发表了一条他20岁时证明了有关圆方面的定理(他却不知道柏拉图在2000多年前就已论证了该定理),索迪(Soddy)教授是新近更惊人的例子(不过他的定理倒真正是他自己的).

Simson

西姆松

西姆松(Simson)定理(西姆松线) 西姆松(Simson)定理(西姆松线) (Simson)定理 从一点向三角形的三边所引垂线的垂足共线的充要条件是 该点落在三角形的外接圆上.

Fix, Unfix,Group,Ungroup：(固定, 不固定,成组, 不成组)

Align Components(元件对准) 79 | Fix, Unfix,Group,Ungroup(固定, 不固定,成组, 不成组) 80 | Select Net(选择线网) 80

glycol monoacetate：乙二醇一乙酸酯

glycol lubricant 乙二醇润滑剂 | glycol monoacetate 乙二醇一乙酸酯 | glycol monobenzyl ether 乙二醇一苄醚