论文研究-基于向量的几何可读自动证明 .pdf

【文件属性】：

文件名称：论文研究-基于向量的几何可读自动证明 .pdf

文件大小：471KB

文件格式：PDF

更新时间：2022-09-04 10:55:57

机器证明

基于向量的几何可读自动证明，葛强，陈矛，几何定理机器证明已经成功发展了多种新方法，但其中对中学几何中向量的机器证明研究没有抓住其回路的基本特征．本文以向量的回路