Automated differential computation in the Adams spectral sequence

MaRDI QIDQ6415267zbMATH OpenFDO

Authors Joey Beauvais-Feisthauer

Publication date 27 October 2022

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to algebraic topology (55-04) Stable homotopy of spheres (55Q45) Adams spectral sequences (55T15)

Abstract: We describe an algorithm for the automated deduction of many $d_2$ differentials in the Adams spectral sequence. We discuss our implementation and the results of the computation.

This page was built for publication: Automated differential computation in the Adams spectral sequence

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