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