• 构造性和非构造性几何命题证明方法

    构造性和非构造性几何命题证明方法

    论文摘要定理机器证明是人工智能研究的一个重要课题,在其中的几何定理机器证明研究领域,我国的科学家最近二十几年来取得了一系列令世人瞩目的成果,提出了消点法、吴方法、几何不变量法、...
  • 几何定理机器证明并行算法研究

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

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