定理的

Principle of Maximum Entropy POME , the most important theorem of entropy , was interpreted .

概念与性质，对熵的最主要定理--最大熵原理进行了阐述。

These theorems are (1) Potential flow is stable.

这些定理都是潜在流(1)是稳定的。

A new definition on canonical convex multiplier is given with a canonical dual method for the primal problem. Some examples are illustrated.

给出了凸乘子定义，对偶定理和搜寻全局最优点的方法，并通过一些例子加以演示。

We use the Hopf fibration in the first chapter to study the global pinching problems of minimal submanifolds in complex projective space and we get:Theorem A.

在本文第一章中运用Hopf纤维化方法研讨了复射影空间中极小子流形的整体pinching问题，得到了：定理A。

So-called first-order theorem proving may be restricted to a propositional calculus with terms (constants, function names, and free variables) added, making it impossible to express mathematical induction.

所谓一阶定理证明可限于命题演算的条款（常数，函数名，并免费变量）说，无法表达数学归纳法。

Isabelle is a generic theorem prover, developed at the University of Cambridge.

Isabelle是一个遗传定理证明，它是Cambridge大学开发的。

Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof.

有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。

It implements an automated theorem prover for Pointer Logic.

实现了一个用于指针逻辑的自动定理证明器。

We first answer two open problems of Boas. Furthermore, we prove the stability theorem of the Bergman kernel for various non-smooth pseudoconvex domains.

我们回答了Boas提出的两个open problem更进一步我们证明了大量非光滑边界拟凸域上稳定性定理成立。

Then there is the much talked about formula which we get through the Pythagoras theorem.

然后还有很多谈论的公式，我们才能通过毕达哥拉斯定理。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。