数学归纳法自动推证研究

• 作者: 连新泽
• 来源期刊: 温州师范学院学报
• 学科: 数学
• 关键词: 数学归纳法 自动推证 机械化 计算机代数系统
• 年，卷（期）: 2004,（5）
• 所属期刊栏目: 数学与信息科学
• 页码范围: 66-70
• 页数: 5页
• 分类号: O141.2
• 字数: 2218字
• 语种: 中文
• DOI: 10.3875/j.issn.1674-3563.2004.05.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	连新泽	温州师范学院数学与信息科学学院	1	0	0.0	0.0