Automated differential computation in the Adams spectral sequence

TL;DR

This paper presents an algorithm for automating the deduction of differentials in the Adams spectral sequence, demonstrating its implementation and computational results.

Contribution

It introduces a novel algorithm for automating differential computations in the Adams spectral sequence, enhancing computational efficiency.

Findings

Successfully computed multiple d2 differentials

Implemented an automated deduction algorithm

Achieved results demonstrating the algorithm's effectiveness

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.