A Numerical Test Auxiliary Algorithm for Automated Deduction of Geometry Theorems

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