2000 character limit reached
Automated differential computation in the Adams spectral sequence
Published 27 Oct 2022 in math.AT | (2210.15169v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.