数学物理学报 ›› 1996, Vol. 16 ›› Issue (4): 377-384.

• 论文 • 上一篇    下一篇

通过从平面几何到立体几何的类比进行数学发现的计算机模拟

王建东1, 朱梧槚1, 肖奚安2, 陈松灿1, 张东摩1   

  1. 1. 南京航空航天大学, 南京大学计算机软件国家重点实验室;
    2. 空军气象学院
  • 收稿日期:1994-04-28 修回日期:1995-06-19 出版日期:1996-08-26 发布日期:1996-08-26
  • 基金资助:
    国家攀登计划资助项目

  • Received:1994-04-28 Revised:1995-06-19 Online:1996-08-26 Published:1996-08-26

摘要: 该文从数学方法论的角度阐述了归纳、类比等数学方法在数学发现、发现与创新中的重要作用.从这一观点出发,提出了采用类比方法实现数学发现的计算机模拟的基本思想,并介绍了一个通过类比平面几何中的定理来发现立体几何中的有关定理的模型.实验结果表明,该模型具有一定的发明创新能力.

关键词: 数学发现, 平面几何, 立体几何, 类比