数学归纳法自动推证研究

Automatic Proving of Mathematic Induction

数学归纳法广泛应用于数学以及其它学科上相关定理证明. 运用有关数学理论在计算机代数系统Maple下, 讨论了算法的实现技术, 分析了复杂度与输出结果的关系, 在此基础上, 设计并实现了数学归纳法可读型自动推证. 结果表明, 该算法简单正确,相应的程序操作简单, 功能强大,可以解决归纳法问题的自动推证问题,具有一定的推广价值.

In this paper, by using computer algebra system Maple and theory of mathematic induction, a procedure of automated proving theorem was established. This will be useful for the problems of proving of induction theorem.