证明器相关硕士博士期刊学术论文 - 搜论网

证明器相关论文

容积比型质点几何定理机器证明

质点几何定理机器证明一直以来都是自动推理领域的研究课题,其证明方法和研究成果都具有明显的应用价值。近年来,研究者们依据质点......

学位

质点几何证明器消点法机器证明自动推理

质点几何定理证明的机器实现

本文针对质点法生成的目标关系式的过程不简明,缺少明显几何意义的问题,提出了一种具有较高可读性算法的几何定理证明器MMP.首先,......

期刊

质点几何证明器消点法机器证明自动推理

看过本文同时还关注