Machine Proofs for Adams Differentials and Extension Problems among CW Spectra

In this Zenodo repositary we upload the computations of Adams differentials and extensions among many CW spectra and their proofs. This data will be used in the proof of the Last Kervaire Invariant One Problem by Weinan Lin, Guozhen Wang and Zhouli Xu. In programs.zip, we have two programs ./Adams and ./ss provided for both windows users and mac users and also some configuration files. We will upload the source code here for ./Adams and ./ss. You can also find the source on Github https://github.com/WayneLin92/SSeqCpp. In programs.zip there is a demo for ./ss which is a category of five spectra: S0, C2, Ceta, Cnu, Csigma. kervaire_database.zip contains all the Adams spectral sequence data and extensions data. They are sqlite3 database files and can be read directly by the ./ss program. We also provide the same data in csv format in kervaire_csv.rar. proofs.db and proofs_csv.zip are proofs of all the differentials. Inside proofs_csv.zip there are 22 csv files. We break it to 22 files because Microsoft Excel has a limit of 1000,000 lines. On the website https://waynelin92.github.io/ss/kervaire.html you can find plots of most data. The website code (html/javascript) is actually contained in programs.zip/webpages in this repositary. Please read instructions.pdf for more infomation.