排序方式： 共有11条查询结果，搜索用时 0 毫秒
11.
王玮明 《兰州大学学报(自然科学版)》2005,41(1):99-102
应用积分辅助函数法给出了微分中值定理在计算机代数系统Maple下的自动推证的实现程序,特别是成功解决了Maple中符号积分缺陷问题.该程序方法简单,相应的计算机程序功能强大,操作性强.应用该程序可以成功解决一类有关问题的计算机自动推证,具有一定的推广价值. 相似文献