论文标题
ADAMS光谱序列中的自动差分计算
Automated differential computation in the Adams spectral sequence
论文作者
论文摘要
我们描述了一种自动扣除ADAMS光谱序列中许多$ D_2 $差异的算法。我们讨论我们的实施和计算结果。
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.
