数据集概述
本数据集包含CW谱序列中Adams微分与扩张问题的计算及机器证明，用于Weinan Lin、Guozhen Wang和Zhouli Xu对Last Kervaire不变量问题的证明。当前版本精简了谱序列数量并缩小了证明文件体积，便于追踪验证。
文件详解
- 程序压缩包:
- programs.rar: 包含适用于Windows和Mac的./Adams与./ss程序、谱序列定义文件Adams.json、./ss程序演示（含5个谱序列）及网页源代码（webpages目录），文件格式为RAR
- 源代码压缩包:
- source code.zip: 包含两个程序的源代码，文件格式为ZIP
- 数据库压缩包:
- kervaire_database.rar: 包含Adams谱序列数据和扩张数据的sqlite3数据库文件，可由./ss程序直接读取，文件格式为RAR
- kervaire_csv.rar: 包含与数据库文件内容一致的CSV格式数据，文件格式为RAR
- 证明文件压缩包:
- proofs.db.rar: 包含所有微分证明的数据库文件，文件格式为RAR
- proofs_csv.rar: 包含3个CSV格式的微分证明文件（因Excel行限制拆分），文件格式为RAR
- 说明文档:
- instructions.pdf: 包含数据集详细说明，文件格式为PDF
数据来源
Zenodo
适用场景
- 代数拓扑研究: 用于验证和复现Last Kervaire不变量问题的证明过程
- 谱序列计算分析: 分析CW谱序列中Adams微分与扩张的关系
- 计算代数工具开发: 作为 ./Adams 和 ./ss 程序的测试数据与应用案例
- 数学证明自动化研究: 探索机器证明在高维代数拓扑问题中的应用
