• 几何定理机器证明并行算法研究

    几何定理机器证明并行算法研究

    论文摘要定理机器证明的研究,在理论和实践上都具有重要的意义。当前,机器证明的理论研究进入低潮时期,自20世纪末以来,国外研究人员尝试将并行计算技术引入到符号计算的一些关键计算问...