Computing spectral sequences

DOI10.1016/j.jsc.2006.06.002zbMath1132.55008arXivcs/0602064MaRDI 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

zbMATH Keywords

spectral sequence; Symbolic computation; effective homology; common LISP

Mathematics Subject Classification ID

55T05: General theory of spectral sequences in algebraic topology

55T20: Eilenberg-Moore spectral sequences

55T10: Serre spectral sequences

Related Items

Computing all maps into a sphere, Hardness of embedding simplicial complexes in \(\mathbb R^d\), Graph homology and graph configuration spaces, A geometric decomposition of spaces into cells of different types. II: Homology theory, Computing the first stages of the Bousfield-Kan spectral sequence, Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences, Computing invariants for multipersistence via spectral systems and effective homology, Computing higher Leray-Serre spectral sequences of towers of fibrations, Computing simplicial representatives of homotopy group elements, fKenzo: a user interface for computations in algebraic topology, Polynomial-time homology for simplicial Eilenberg-MacLane spaces, Extendability of continuous maps is undecidable, Computing All Maps into a Sphere

Uses Software

• Kenzo

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item