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

搜索资源列表

  1. RASRGeometry:真实的分析证明证明了产生欧几里得几何的可数集合关系。 所有证明均已在Coq中验证-源码

  2. 生成几何的两个集合关系 真实的分析证明揭示了这两个产生几何关系的集合。 证明已在Coq中验证。 版权所有（c）2015-2019 George M.Van Treeck。 根据知识共享署名国际许可授予的许可。

  3. 所属分类：其它

    • 发布日期：2021-03-06
    • 文件大小：328704
    • 提供者：weixin_42104906