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.
3.将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.
3.将Mizar系统中已实现的洛尔定理与相关数学知识相结合,在Mizar系统中实现了洛尔定理和柯西中值定理的一些应用和推广。
参考来源 - 四元数混合运算及特殊函数的微分公式和洛尔定理应用的Mizar实现·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
In this paper, the Rolle's theorem of a variadle function is extended to multiple-variable functions. The paper, then, gives a new and simple proof.
本文将一元函数的罗尔定理推广到多元函数中，并给出了一个简洁、颖的证明。
Rolle's theorem plays a very important part in the study of one differential calculus. This paper attempts to explore the application of Rolle's theorem from the perspective of constructing function.
罗尔定理在一元微分学处于很重要的地位，本文通过构造函数的思想来探究罗尔定理的应用。
Cauchy's theorem of the mean is proved by means of nested intervals, with Rolle's and Lagrange's theorems of the mean as its corollaries.
本文根据区间套的方法，证明柯西中值定理，而把罗尔定理和拉格朗日中值定理作为它的推论。
应用推荐