Machine Proofs for Adams Differentials and Extension Problems among CW Spectra

MaRDI QIDQ6758105arXivFDO

Authors Weinan Lin, Guozhen Wang, Zhouli Xu

Publication date 2024

Published in arXiv

Mathematics Subject Classification ID

Motivic cohomology; motivic homotopy theory (14F42) Stable homotopy groups (55Q10) Stable homotopy of spheres (55Q45) Adams spectral sequences (55T15) Differentiable structures in differential topology (57R55) Homotopy spheres, Poincaré conjecture (57R60)

arXiv classification

math.AT

This page was built for publication: Machine Proofs for Adams Differentials and Extension Problems among CW Spectra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6758105)