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.
Machine proofs for Adams differentials and extension problems among CW spectra
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
dataset 1
citation-polarity summary
fields
math.AT 1years
2024 1verdicts
CONDITIONAL 1roles
dataset 1polarities
use dataset 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.