The authors provide a machine-generated dataset and proof tables for Adams spectral sequence computations that support the resolution of the Last Kervaire Invariant Problem in dimension 126.
Interactive plot of the Adams spectral sequence.https://waynelin92.github
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
other 1
citation-polarity summary
fields
math.AT 1years
2024 1verdicts
CONDITIONAL 1roles
other 1polarities
background 1representative citing papers
citing papers explorer
-
Machine Proofs for Adams Differentials and Extension Problems among CW Spectra
The authors provide a machine-generated dataset and proof tables for Adams spectral sequence computations that support the resolution of the Last Kervaire Invariant Problem in dimension 126.