微分中值定理自动推证研究  

Study on automatic proving of the mean-value theorems for derivatives

作　　者：王玮明[1] 

机构地区：[1]温州大学数学与信息科学学院,浙江温州325000

出　　处：《兰州大学学报（自然科学版）》2005年第1期99-102,共4页Journal of Lanzhou University(Natural Sciences)

基　　金：国家重点基础研究发展规划资助项目(1998030600)

摘　　要：应用积分辅助函数法给出了微分中值定理在计算机代数系统Maple下的自动推证的实现程序,特别是成功解决了Maple中符号积分缺陷问题.该程序方法简单,相应的计算机程序功能强大,操作性强.应用该程序可以成功解决一类有关问题的计算机自动推证,具有一定的推广价值.In this paper, by using the theories and methods of numeric analysis and calculus, the procedure for automatically proving the mean-value theorems for derivatives was established. The problem of symbolic integral in Maple was solved, too. This would be usefull for the problem of automatically proving some mathematical theorems.

关 键 词：微分中值定理 自动推证 计算机代数系统 MAPLE 

分 类 号：O172[理学—数学]