Research on Parallel Algorithm of Numerical Verification for Geometry Theorem Proving

• 几何定理并行验证算法研究