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

摘要

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创建了新的几何定理证明器.拓展了机器证明的研究范畴,首次实现了近世几何的机器证明,且可读性令人满意.在该证明器的帮助下,发现了一些新的近世几何性质,深化了近世几何的研究成果,并对已有的近世几何研究成果提出一些意见.