| 数学归纳法自动推证研究 |
| |
| 引用本文： | 连新泽.数学归纳法自动推证研究[J].温州大学学报(自然科学版),2004,25(5):66-70. |
| |
| 作者姓名： | 连新泽 |
| |
| 作者单位： | 温州师范学院数学与信息科学学院,浙江,温州,325035 |
| |
| 摘 要： | 数学归纳法广泛应用于数学以及其它学科上相关定理证明. 运用有关数学理论在计算机代数系统Maple下, 讨论了算法的实现技术, 分析了复杂度与输出结果的关系, 在此基础上, 设计并实现了数学归纳法可读型自动推证. 结果表明, 该算法简单正确,相应的程序操作简单, 功能强大,可以解决归纳法问题的自动推证问题,具有一定的推广价值.
|
| 关 键 词： | 数学归纳法 自动推证 机械化 计算机代数系统 |
| 文章编号： | 1006-0375(2004)05-0066-05 |
| 修稿时间： | 2004年8月8日 |
Automatic Proving of Mathematic Induction |
| |
| LIAN Xin-ze.Automatic Proving of Mathematic Induction[J].Journal of Wenzhou University Natural Science,2004,25(5):66-70. |
| |
| Authors: | LIAN Xin-ze |
| |
| Abstract: | 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. |
| |
| Keywords: | induction automated proving of theorem mechanization computer algebra system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
