期刊文献+

数学归纳法自动推证研究

Automatic Proving of Mathematic Induction
下载PDF
导出
摘要 数学归纳法广泛应用于数学以及其它学科上相关定理证明. 运用有关数学理论在计算机代数系统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.
作者 连新泽
出处 《温州师范学院学报》 2004年第5期66-70,共5页 Journal of Wenzhou Teachers College(Philosophy and Social Science Edition)
关键词 数学归纳法 自动推证 机械化 计算机代数系统 induction automated proving of theorem mechanization computer algebra system
  • 相关文献

参考文献4

二级参考文献33

  • 1张景中,杨路,高小山,周咸青.几何定理可读证明的自动生成[J].计算机学报,1995,18(5):380-393. 被引量:22
  • 2张景中,高小山,周咸青.基于前推法的几何信息搜索系统[J].计算机学报,1996,19(10):721-727. 被引量:34
  • 3范红兵.计算机数学实验技术--数学软件Maple及其应用(内部交流资料)[Z].济南:山东大学数学与系统科学学院,1997.1~16.
  • 4RobegM Corless著 何青译.Maple经典[M].北京:高等教育出版社,2002.1-80.
  • 5叶其孝.大学生数学建模竞赛辅导教材(一)[M].长沙:湖南教育出版社,1994.1-24.
  • 6范红兵.计算机数学实验技术--数学软件Maple及其应用[Z].济南:山东大学数学与系统科学学院(内部交流资料),1997.1~16.
  • 7RobegM.Corless著 何青译.Maple经典[M].北京:高等教育出版社,2002.1~80.
  • 8杨路,Sci China A,1996年,39卷,6期,628页
  • 9杨路,非线性方程组与定理机器证明,1996年
  • 10Chou S C,Machine Proofs in Geometry,1994年

共引文献34

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部