Papers
Topics
Authors
Recent
Search
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.

Summary

Paper to Video (Beta)

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Continue Learning

We haven't generated follow-up questions for this paper yet.

Authors (1)

Collections

Sign up for free to add this paper to one or more collections.