质点法相关硕士博士期刊学术论文 - 皮皮文库

质点法相关论文

质点几何定理的机器证明

几何定理机器证明已经成为自动推理领域内的一个研究热点,它具有十分重要的理论意义与实践应用价值。自“吴法”发表以来,研究者又......

学位

质点几何质点法消点法机器证明可读证明

基于质点法的构造型仿射几何定理机器证明

几何定理的机器证明是自动推理领域的热门课题之一,尤其是近些年来,研究者在研究几何定理机器证明方面取得了丰硕的成果。吴文俊先......

学位

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

看过本文同时还关注