关键词: 质点几何, 可读机器证明, 希尔伯特交点类几何命题

Abstract: Based on the principles of mass point geometry, the paper developed a new machine proving method, mass point method, and established an affine-geometrymachineproof algorithm implemented as the Maple program that can deal with Hilbert intersection point statements. The program can produce readable proofs automatically. The results of hundreds of non-trivial propositions show that the method is not only efficient, and most proofs’ readability is also satisfactory.

Key words: particle geometry, readable machine proof, Hilbert intersection point statements