首页
智能降重
一键组稿
论文查重
写作助手
首页
>
标签
>
定理机器证明论文
定理机器证明论文
机器视觉论文
机器学习论文
机器人论文
移动机器人论文
不动点定理论文
定理论文
并联机器人论文
足球机器人论文
水下机器人论文
工业机器人论文
构造性和非构造性几何命题证明方法
论文摘要定理机器证明是人工智能研究的一个重要课题,在其中的几何定理机器证明研究领域,我国的科学家最近二十几年来取得了一系列令世人瞩目的成果,提出了消点法、吴方法、几何不变量法、...
几何定理机器证明并行算法研究
论文摘要定理机器证明的研究,在理论和实践上都具有重要的意义。当前,机器证明的理论研究进入低潮时期,自20世纪末以来,国外研究人员尝试将并行计算技术引入到符号计算的一些关键计算问...