TY - RPRT TI - Automated differential computation in the Adams spectral sequence AU - Joey Beauvais-Feisthauer PY - 2022 UR - https://arxiv.org/abs/2210.15169 ID - 2210.15169 ER -