改进的几何定理机器证明的概率性算法

改进的几何定理机器证明的概率性算法

陈明雁曾振柄

Improved probabilistic algorithm of mechanical geometry theorem proving

CHEN Mingyan ZENG Zhenbing

计算机应用 . 2014, (7): 2080 -2084 . DOI: 10.11772/j.issn.1001-9081.2014.07.2080