Automated differential computation in the Adams spectral sequence
Abstract
We describe an algorithm for the automated deduction of many d2 differentials in the Adams spectral sequence. We discuss our implementation and the results of the computation.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.