Automated differential computation in the Adams spectral sequence
arXiv:2210.15169
Abstract
We describe an algorithm for the automated deduction of many differentials in the Adams spectral sequence. We discuss our implementation and the results of the computation.
16 pages