...），都是只指出某事件的存在性，而不能具体描述寻求的方法，例如：中值定理（Mean Value Theorem）及洛尔定理（Rolle's Theorem），都是已证明是真确的存在性定理，所以只要能证明这公理是真确，便可以继续使用。
基于236个网页-相关网页
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
应用推荐