1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究 基于向量的几何可读自动证明 .pdf

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

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