论文研究 基于向量的几何可读自动证明 .pdf 上传者：houguof 2020-07-25 05:37:47上传 PDF文件 471.41KB 热度 29次 基于向量的几何可读自动证明，葛强，陈矛，几何定理机器证明已经成功发展了多种新方法，但其中对中学几何中向量的机器证明研究没有抓住其回路的基本特征．本文以向量的回路 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
