1. 首页
  2. 数据库
  3. 其它
  4. 构造性和非构造性几何命题自动证明

构造性和非构造性几何命题自动证明

上传者: 2020-12-23 03:51:39上传 PDF文件 275.12KB 热度 7次
构造性和非构造性几何命题自动证明,沈盈,,主要是研究构造性和非构造性几何命题的自动证明,通过若干具体实例的证明,来揭示两者的差别。在证明过程中主要运用了线段比,三
用户评论