@misc{indiciae24aad63ad436, title = {Automated differential computation in the Adams spectral sequence}, author = {Joey Beauvais-Feisthauer}, year = {2022}, url = {https://arxiv.org/abs/2210.15169}, note = {Source identifier: 2210.15169} }