Automated differential computation in the Adams spectral sequence
Algebraic Topology
2022-10-28 v1
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.
Cite
@article{arxiv.2210.15169,
title = {Automated differential computation in the Adams spectral sequence},
author = {Joey Beauvais-Feisthauer},
journal= {arXiv preprint arXiv:2210.15169},
year = {2022}
}
Comments
16 pages