Mechanical Geometry Theorem Proving Based on The Elimination Method With Decoupling of Leading Terms For Polynomial Set

• 基于多项式组主项解耦消元法的几何定理机器证明