注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

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

  2. 构造性和非构造性几何命题自动证明，沈盈，，主要是研究构造性和非构造性几何命题的自动证明，通过若干具体实例的证明，来揭示两者的差别。在证明过程中主要运用了线段比，三

  3. 所属分类：其它

    • 发布日期：2019-12-30
    • 文件大小：275kb
    • 提供者：weixin_38705558