找到2个数据集

标签: SQLITE3

过滤结果

  • CW谱序列中Adams微分与扩张问题的机器证明数据集

    2025年12月20日 30 185 163

    数据集概述 本数据集包含CW谱序列中Adams微分与扩张问题的计算及机器证明，用于Weinan Lin、Guozhen Wang和Zhouli Xu对Last Kervaire不变量问题的证明。当前版本精简了谱序列数量并缩小了证明文件体积，便于追踪验证。 文件详解 程序压缩包: programs.rar:...
    packageimg

  • 瑞典创新数据库_SWINNO

    2025年12月14日 30 13 11

    数据集概述 该数据集是瑞典创新数据库（SWINNO）的摘录，基于文献创新产出（LBIO）方法构建，由VINNOVA和LUSEM资助的SWINNO项目开发，旨在记录瑞典的创新相关信息，为研究瑞典创新历史与现状提供数据支持。 文件详解 文件名称: README.txt 文件格式: TXT（.txt） 内容:...
    packageimg