基于质点法的构造型仿射几何定理机器证明

基于质点法的构造型仿射几何定理机器证明基于质点法的构造型仿射几何定理机器证明摘要：构造型仿射几何是几何学中的一种分支，已经在许多领域中得到广泛应用。本文提出了一种基于质点法的构造型仿射几何定理机器证明