质点几何定理机器证明的研究进展  

Research Progress of Automated Particle Geometry Theorems Proving

作　　者：胡晓璐 江建国[1] 张媛 

机构地区：[1]辽宁师范大学数学学院,辽宁大连

出　　处：《应用数学进展》2018年第12期1490-1499,共10页Advances in Applied Mathematics

摘　　要：质点几何定理机器证明是当前几何定理机器证明领域内的一个研究热点。本文介绍了质点几何的基本理论。综述了质点几何定理机器证明近年来取得的一些比较显著的进展。比较了质点法和质点消去法这两种证明方法的优缺点。最后,展望了这个方向上需要进一步研究的问题。Nowadays, the automated particle geometry theorems proving is a new topic in automated rea-soning field. In this paper, we introduced firstly foundations of particle geometry theory, and then summarized the state of art of this topic in recent years. In addition, we compared two new auto-mated particle geometry theorems proving methods: the particle method and the particle elimi-nation method. Finally, we prospected some further research problems in this topic.

关 键 词：自动推理 质点几何 质点法 质点消去法 

分 类 号：O1[理学—数学]