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

doi:10.3724/SP.J.1087.2012.03057

计算机应用 ›› 2012, Vol. 32 ›› Issue (11): 3057-3061.DOI: 10.3724/SP.J.1087.2012.03057

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

李涛¹,邹宇²

1. 广州大学数学与信息科学学院，广州 510006
2. 广州大学计算机科学与教育软件学院, 广州 510006

收稿日期:2012-05-28 修回日期:2012-07-04 发布日期:2012-11-12 出版日期:2012-11-01
通讯作者: 李涛
作者简介:李涛(1985-)，男，天津人，博士研究生，主要研究方向：数学机械化；邹宇(1982-), 男,湖南邵阳人, 讲师，博士, 主要研究方向: 自动推理。

Research of modern geometry based on mass point method

LI Tao¹,ZOU Yu²

1. College of Mathematics and Information Science, Guangzhou University, Guangzhou Guangdong 510006,China
2. College of Computer Science and Educational Software, Guangzhou University, Guangzhou Guangdong 510006,China

Received:2012-05-28 Revised:2012-07-04 Online:2012-11-12 Published:2012-11-01
Contact: LI Tao

摘要/Abstract

摘要： 优化并发展了质点法机器证明算法的核心程序，用Mathematica创建了新的几何定理证明器。拓展了机器证明的研究范畴，首次实现了近世几何的机器证明，且可读性令人满意。在该证明器的帮助下，发现了一些新的近世几何性质，深化了近世几何的研究成果，并对已有的近世几何研究成果提出一些意见。

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

Abstract: 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.

Key words: mass point method, machine proof, mathematica prover, modern geometry

中图分类号:

TP181

李涛邹宇. 质点法机器证明视角下的近世几何研究[J]. 计算机应用, 2012, 32(11): 3057-3061.

LI Tao ZOU Yu. Research of modern geometry based on mass point method[J]. Journal of Computer Applications, 2012, 32(11): 3057-3061.

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

Research of modern geometry based on mass point method

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 1

编辑推荐

Metrics