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

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

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