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

作　　者：王建东[1] 朱梧[1] 肖奚安[1] 陈松灿 张东摩 

机构地区：[1]空军气象学院,南京航空航天大学,南京大学计算机软件国家重点实验室

出　　处：《数学物理学报（A辑）》1996年第4期377-384,共8页Acta Mathematica Scientia

基　　金：国家攀登计划

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

关 键 词：数学发现 平面几何 立体几何 类比 计算机模拟 

分 类 号：O1－0[理学—数学] O123[理学—基础数学]