+++ title = “References” section = “root” +++

References

Textbooks

J.F. Adams, Stable Homotopy and Generalised Homology, Chicago Lectures in Mathematics, University of Chicago Press, 1974.
J.P. May, A General Algebraic Approach to Steenrod Operations, Lecture Notes in Mathematics 168, Springer, 1970.
D.C. Ravenel, Complex Cobordism and Stable Homotopy Groups of Spheres, 2nd edition, AMS Chelsea Publishing, 2003. Available online: https://people.math.rochester.edu/faculty/doug/mu.html

E. Belmont and H. Kong, An algebraic approach to the Adams spectral sequence. (E_r Massey products, Moss’ theorem: Definition 2.4, Definition 3.11, Theorem 3.13.)
D. Chua, The $E_3$ page of the Adams spectral sequence, 2021. https://arxiv.org/abs/2105.07628 (Lemma 12.4: $\tau$-torsion survival and target forcing.)
B. Gheorghe, G. Wang, and Z. Xu, The special fiber of the motivic deformation of the stable homotopy category is algebraic, Acta Math. 226 (2021), no. 2, 319–407. ($C\tau$ collapse theorem; $\operatorname{Ext}(C\tau) \cong$ Adams–Novikov $E_2$.)
D.C. Isaksen, Stable stems, Mem. Amer. Math. Soc. 262 (2019), no. 1269. (Motivic Adams computations, CSV data for $E_2$ through $E_\infty$.)
D.C. Isaksen, G. Wang, and Z. Xu, Stable homotopy groups of spheres, Proc. Natl. Acad. Sci. 117 (2020), no. 40, 24757–24763. (Motivic approach to classical computations.)
W. Lin, G. Wang, and Z. Xu, On the Last Kervaire Invariant Problem, 2024. https://arxiv.org/abs/2412.10879 (Machine-proved Adams differentials and CW-spectrum data.)
B. Johnson, Quantitative Bounds for Nilpotence and Vanishing Lines. (Lemma 6.3: vanishing line propagation through cofiber sequences.)
D. Dugger and D.C. Isaksen, Motivic cell structures, Algebr. Geom. Topol. 5 (2005), 615–652.

H. Chatham, D. Chua, and J. Beauvais-Feisthauer, ext-rs — Rust library for computing Ext over the Steenrod algebra. htpy’s resolution engine, linear algebra, and Steenrod algebra crates descend from ext-rs. License: MIT OR Apache-2.0.
W. Lin, SSeqCpp — C++ spectral sequence computation library using Groebner bases and SQLite databases. htpy-groebner is ported from SSeqCpp’s Buchberger algorithm implementation. License: Apache-2.0.

J. Beauvais-Feisthauer, H. Chatham, and D. Chua, The $E_2$ page of the 2-primary Adams spectral sequence in a large range, Zenodo, 2022. https://zenodo.org/records/7339848 License: CC BY 4.0. Used for verification benchmarks.
W. Lin, G. Wang, and Z. Xu, Machine Proofs for Adams Differentials and Extension Problems among CW Spectra, Zenodo, 2024. https://zenodo.org/records/14475507