自动推证相关论文
数学归纳法广泛应用于数学以及其它学科上相关定理证明．运用有关数学理论在计算机代数系统Maple下，讨论了算法的实现技术，分析了复杂......
应用积分辅助函数法给出了微分中值定理在计算机代数系统Maple下的自动推证的实现程序,特别是成功解决了Maple中符号积分缺陷问题.......
