数学修养与机器证明完美结合的一个实例

摘要：

笔者在独立求解二层六角幻方时,结合mathematic5.0,充分利用图形的对称性对输出结果作出合理的分析和判断,大胆地进行猜想和试验,终于以机器证明的方式发现了二层六角幻方的内在规律性,实现了数学修养与机器证明的完美结合.

关键词：mathematic 5.0、机器证明、对称性、二层六角幻方

所属期刊栏目：23

分类号：G642(高等教育)

在线出版日期：2007-08-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：52-53