几何定理自动证明的一种数值测试辅助算法

• A Numerical Test Auxiliary Algorithm for Automated Deduction of Geometry Theorems