定理的

It included Karaji's binomial theorem and rules of the arithmetic polynomial operations and developed Karaji's theory of polynomial.

其中保存了凯拉吉的关於二项式定理的工作以及多项式的运算法则，并进一步发展了凯拉吉的多项式理论。

This book included Karaji's binomial theorem and rules of the arithmetic polynomial operations and it developed Karaji's theory of polynomial.

算术珍本》中保存了凯拉吉的关于二项式定理的工作以及多项式的运算法则，并进一步发展了凯拉吉的多项式理论。

Having discussed Wallis'interpolation in great detail, the paper shows that Wallis mainly relied on incomplete induction and analogical inference to obtain his results, an approach which was key to the creation of many important algorithms during the considered period. A comparison between Wallis'method and previous interpolations is then made and the influence of Wallis' thinking style embodied in his interpolation on Newton's invention of binomial theorem is clearly revealed.

通过考察沃里斯的插值过程，指出沃里斯插值法完全是借助于不完全归纳和类比推理得到的，并与过去的插值法做了比较，最后分析了沃里斯插值法对牛顿发明二项式定理的影响。

By means of Heuristic Search, Branch and Bound method and Voronoi Diagram, the algorithm analyzes occlusion on complicated denture models precisely and quickly, which solved the practical problem in the application of VR technologies in dentistry.

通过推广基于分离轴定理的经典碰撞检测算法，借助启发式搜索、分支定界和Voronoi图等手段，算法可以在较短的时间内对复杂牙列模型完成高精度的定量咬合分析任务，解决了虚拟现实技术在口腔医学领域应用中的实际问题。

This paper investigates the converse theorem of rectangular projection theorem in descriptive geometry,and furthermore supplements and confirms another converse theorem,If the projection of two lines intersecting vertically fo rms a rectangle on a certain projecting plane,at least one line of the two lines is parallel to the projecting plane.

通过对《画法几何学》中直角投影定理的逆定理的研究，得出："若垂直相交的两直线在某一投影面上投影成直角，则该两直线至少有一条直线平行于该投影面"的推论。

Using Matlab write a convolution theorem certification procedures, the immediate domain convolution corresponds to the frequency domain product.

用matlab写的一个验证卷积定理的程序，即时域的卷积对应着频域的乘积。

The Coase theorem is the proposition that if private parties can bargain without cost over the allocation of resources, they can solve the problem of externalities on their own.

科斯定理的命题，如果私人各方可以讨价还价的成本超过了资源配置，他们可以解决的问题，外部对自己的。

At last,in Chapter 6,we presented animprovement to the prove of the Lawler decomposition theorem andthe decomposition algorithm.

最后，在第6章中，我们对经典的单机总延误问题的Lawler分解定理的证明过程和分解算法都给出了一定的改进。

The Maschke's Theorem of group algebras is well known, and [Mo2] gives us a version of Maschke's and Dual Maschke's Theorem of finite-dimensional Hopf algebras.

半格分次弱Hopf代数是弱Hopf代数的一类特殊情况，而且又是Hopf代数的一种推广，在第1.3节中，我们将会给出半格分次弱Hopf代数的Maschke和对偶Maschke定理的结论及其应用。

Every existence theorem of them is proved, respectively.

本文所获的一些结果不仅是非线性泛函分析领域中一系列重要定理的推广，而且它们为随机微分方程、随机积分方程及随机算子方程的研究提供重要的工具。

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.

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