TY  - RPRT
TI  - Machine Proofs for Adams Differentials and Extension Problems among CW Spectra
AU  - Weinan Lin
AU  - Guozhen Wang
AU  - Zhouli Xu
PY  - 2025
UR  - https://arxiv.org/abs/2412.10876
ID  - 2412.10876
ER  -