Machine Proofs for Adams Differentials and Extension Problems Among CW Spectra

In this repo 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 provide the same data in different file formats in future uploads. We will also upload the computer codes here for ./Adams and ./ss. 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 E2 data and extensions data. They are sqlite3 database files and can be read directly by the ./ss program. We will provide the same data in different file formats in future uploads. 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 repo. Please read instructions.pdf for more infomation. It is not complete but will be upadated soon.