查询词典 leibniz theorem

On the basis of these theories,Rolle mean value theorem,Lagrange mean value theorem and Cauchy mean value theorem are proved by constructing nested interval.

在此基础上通过构造区间套依次证明了罗尔中值定理、拉格朗日中值定理和柯西中值定理

An equivalent theorem for the Loéve theorem is obtained and the limit theorem for estimation of sum of associated random sequences is also studied.

特别是，获得了Loéve定理的一个等价形式，并讨论了相依随机变量列部分和上升的阶。

As applications,a Ky Fan matching theorem for transfer open covers,a Fan- Browder coincidence theorem and maximal element theorem are established.

作为应用，获得了非紧超凸度量空间中的转移开覆盖的Ky Fan匹配定理，Fan-Browder重合定理和极大元定理。

Meanwhile, deepen the research of socialism distribution theorem, clear out the kinds of mistiness view, comprehend the relation between labor value theorem and distribution theorem, between distribute with capital and eliminate the exploitation, between justice and efficiency.

与此同时，要深化对社会主义分配理论的研究，澄清各种模糊认识，正确理解劳动价值论与分配理论的关系，按资分配与消灭剥削的关系，公平与效率的关系。

This paper firstly reviews the history of Automated Theorem Proving and Mizar,then gives a description of methods of mechanical theorem proving and verification to mathematical proposition under Mizar system.Based on that basis,the paper has done some Mizar researches on mixed operation of quaternion,differentiati- on of special composite function and the application of Rolle\'s theorem.

本文首先介绍了定理机器证明和Mizar语言系统的发展历史，其次简单描述了Mizar系统下定理机器证明和校验数学命题的方法，在此基础上对四元数的混合运算，特殊复合函数的微分以及洛尔定理的应用等方面进行了Mizar实现。

Thirdly,the paper combines mathematical knowledge with the Rolle\'s theorem implemented in Mizar system already, implements the exert and promotion of Rolle\'s theorem and Cauchy mean value theorem in Mizar system.

将Mizar系统中已实现的洛尔定理与相关数学知识相结合，在Mizar系统中实现了洛尔定理和柯西中值定理的一些应用和推广。

According to theorem of motion of centre of mass and theorem of moment of momentum about centre of mass , we derive the theorem of moment of momentum about instantaneous center of rotation.

从质心运动定理和相对质心的动量矩定理出发，导出了相对瞬心的动量矩定理。

In this outlook of this dissertation, the primary idea is to extend the Helmholtz"s theorem to get the complete projection theorem of electromagnetic fields in vector wave space—the extend of the Helmholtz"s theorem which can be used to study the eigenvalue problem of the vector partial differential operator.

在论文的展望中，将亥姆霍兹定理进行推广，得到了电磁场在矢量波空间的完全射影定理即推广的亥姆霍兹定理，由此可以研究基于矢量偏微分算子的电磁场的本征问题。

As we all know,there is one Simson line at any point on the circumference of triangles,but in this paper, LHP theorem shows that the above conclusion is not correct for any quadrilateral pyramid in three-dimensional space and also during proving LHP theorem,fixed value theorem is proved,at the same time,one guess about the point H and point P on circumscribed sphere of tetrahedron has been concluded.

众所周知，三角形的外接圆周上任一点存在一条 simson 线，而 LHP 定理则指出对于正四面体该结论是不能推广到三维空间上的，并且在论证 LHP 定理的过程中得出了定值定理，同时作为一般四面体的外接球球面上的 H 点、P 点的分布，给出了一个猜想。

This theorem calls " of " China residue theorem, also call " grandchildren theorem " or " big develop begs one art ".

这个定理就称为"中国剩余定理"，也叫"孙子定理"或"大衍求一术"。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。