找到1个数据集

标签: Adamsjson

过滤结果

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

    2025年12月20日 30 89 3

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