首页
智能降重
一键组稿
论文查重
写作助手
首页
>
标签
>
并行前推法论文
并行前推法论文
几何定理机器证明并行算法研究
论文摘要定理机器证明的研究,在理论和实践上都具有重要的意义。当前,机器证明的理论研究进入低潮时期,自20世纪末以来,国外研究人员尝试将并行计算技术引入到符号计算的一些关键计算问...