Computing spectral sequences
From MaRDI portal
Publication:2457386
DOI10.1016/j.jsc.2006.06.002zbMath1132.55008arXivcs/0602064OpenAlexW2125582656MaRDI QIDQ2457386
Francis Sergeraert, Ana Romero, Julio Jesús Rubio García
Publication date: 23 October 2007
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/cs/0602064
General theory of spectral sequences in algebraic topology (55T05) Eilenberg-Moore spectral sequences (55T20) Serre spectral sequences (55T10)
Related Items
Computing All Maps into a Sphere ⋮ Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences ⋮ Hardness of embedding simplicial complexes in \(\mathbb R^d\) ⋮ fKenzo: a user interface for computations in algebraic topology ⋮ Polynomial-time homology for simplicial Eilenberg-MacLane spaces ⋮ Extendability of continuous maps is undecidable ⋮ Computing invariants for multipersistence via spectral systems and effective homology ⋮ Computing higher Leray-Serre spectral sequences of towers of fibrations ⋮ A geometric decomposition of spaces into cells of different types. II: Homology theory ⋮ Graph homology and graph configuration spaces ⋮ Computing the first stages of the Bousfield-Kan spectral sequence ⋮ Computing all maps into a sphere ⋮ Computing simplicial representatives of homotopy group elements
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Constructive algebraic topology
- Homology and fibrations I: Coalgebras, cotensor product and its derived functors
- Homologie singulière des espaces fibrés. Applications
- «Autopsie d'un meurtre» dans l'homologie d'une algèbre de chaînes
- On Products of Complexes
- Homology
