Program Developing System with Theorem Prover Embedded in

He paper gives out a theorem about the calculation of topological degree by using the fact that the radical set is contractible, and gets some fixed point theorems of the condensed mapping on the radical set.

利用放射集是可缩的这一事实给出了凝聚场拓扑度计算的一个定理，进而在放射集上得到了凝聚映射的一些不动点定理。

互联网摘选

In this paper, by using the extended theorem of the theory of topological degree, a sufficient con-dition is obtained for the existence of a positive periodic solution to Rosenzweig-Macarthur model.

本文利用拓扑度理论中的拓展定理，得到Rosenzweig-Macarthur模型的正周期解存在的充分条件。

互联网摘选

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.

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

互联网摘选

Theorem on change of the moment of momentum of the rigid body about the instantaneous velocity centre

作平面平行运动的刚体相对于瞬心的动量矩定理

互联网摘选

Theorem of the Moment of Momentum of Particles Relative to an Arbitrary Point

质点系相对于任意点的动量矩定理

互联网摘选

The Moment of Momentum and the Theorem of Moment of Momentum of a Rigid Body Rotating about a Fixed Axis Derived from the Circular Conical Pendulum

从圆锥摆导出刚体定轴转动的动量矩和动量矩定理

互联网摘选

And the main moment equation is the theorem of moment of momentum, using any moving point as moment center.

主矩方程可称为以任意动点为矩心的动量矩定理。

互联网摘选

The Choice of the Centre of Moment of Momentum in the Theorem of Moment of Momentum

动量矩定理中矩心的选择

互联网摘选

The Application of the Theorem of Moment of Momentum of a Rigid Body Moving in a Plane

刚体平面运动动矩心动量矩定理

互联网摘选

On the Theorem of Moment of Momentum of Relative Instantaneous Centre

关于相对瞬心的动量矩定理的若干问题

互联网摘选

Practical examples are used to illustrate the application of the instantaneous acceleration center in dynamics. The solutions to certain problems are greatly simplified by combining the instantaneous acceleration center with the theorem of moment of momentum of relative motion.

以实例说明加速度瞬心在运动学中的应用，加速度瞬心与相对运动动量矩定理结合在动力学中的应用，一些问题求解大为简化。

互联网摘选

A Further Study on the Theorem of Moment of Momentum for Velocity Instantaneous Center

对速度瞬心动量矩定理的再研究

互联网摘选

The extension of minimum energy dissipation theorem and the limitation of minimum entropy production principle in fluid flow

流动问题中最小能量耗散定理的推广和最小熵产生原理的局限

互联网摘选

And, the applicable range of the theorem of minimum entropy production is much smaller than that of other theorem's in the linear non-equilibrium thermodynamics, therefore, to use it as a principle is not adequate.

同时指出最小熵产生定理的应用范围比线性非平衡热力学中其他定理的适用范围要小得多，因此把它作为一个原理是不恰当的。

互联网摘选

But landauer's criticism about the theorem of minimum entropy production is wrong.

但是Landauer对最小熵产生定理的批评是错误的。

互联网摘选

The theorem of minimum entropy production and passive optical cavities

最小熵产生定理与光学被动腔

互联网摘选

The theorem of minimum entropy production and stability of stationary states

最小熵产生定理和定态的稳定性

互联网摘选

In this article, from one conclusion of one theorem, uniform proof for theorem of mean of Lagrange, Cauchy, integral and Taylor is given. Meanwhile one method of calculation for undefined limit is given too.

由一个定理的结论，给出Lagrange中值定理，Cauchy中值定理，积分中值定理和Taylor中值定理的统一证明及一个计算待定型极限的方法。

互联网摘选

It also puts forward a united extended theorem of famous Cauchy theorem of mean and Taylor theorem of mean.

同时还给出了著名的Cauchy中值定理与Taylor中值定理的一个统一的推广定理。

互联网摘选

Generalized Taylor Theorem and Asymptotic Characteristic of Mean Mid-value

广义Taylor定理及其中值点的渐近性

互联网摘选