质点法机器证明视角下的近世几何研究  

Research of modern geometry based on mass point method

作　　者：李涛[1] 邹宇[2] 

机构地区：[1]广州大学数学与信息科学学院,广州510006 [2]广州大学计算机科学与教育软件学院,广州510006

出　　处：《计算机应用》2012年第11期3057-3061,共5页journal of Computer Applications

摘　　要：优化并发展了质点法机器证明算法的核心程序,用Mathematica创建了新的几何定理证明器。拓展了机器证明的研究范畴,首次实现了近世几何的机器证明,且可读性令人满意。在该证明器的帮助下,发现了一些新的近世几何性质,深化了近世几何的研究成果,并对已有的近世几何研究成果提出一些意见。Based on the mass point method,the paper developed a new Mathematica prover.With this prover,hundreds of modern geometric theorems had been proved for the first time,and the proof readability was also satisfactory.With its help,some of the new modern geometric properties were found,and some research results on modern geometry got deepened too.

关 键 词：质点法 机器证明 Mathematica证明器 近世几何 

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]