构造性几何相关论文
简化公理系统,例如用短的公理代替长的公理,用少的公理替换多的公理,是定理证明领域中的一个方向,例如文章[6]中报告用一个公理代......
将几何定理机器证明的研究方法概括为确定性算法与概率性算法两大类,针对已有的确定性算法和概率性算法的证明速率偏低或占用内存......
