Leray 1946 / Serre 1951: spectral-sequence E^{p,q}_r → H^{p+q}(filtered) computes homology of filtered space. Bockstein / Adams / Atiyah-Hirzebruch / change-of-rings variants. Bridges to algebraic-topology.
Leray 1946 / Serre 1951: spectral-sequence E^{p,q}_r → H^{p+q}(filtered) computes homology of filtered space. Bockstein / Adams / Atiyah-Hirzebruch / change-of-rings variants. Bridges to algebraic-topology.