Computing the homology of universal covers via effective homology and discrete vector fields

DOI10.1016/J.JSC.2024.102401MaRDI QIDQ6650588

Ana Romero, Miguel Ángel Marco Buzunáriz

Publication date: 9 December 2024

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

homologycoverSageMathKenzo

Mathematics Subject Classification ID

Covering spaces and low-dimensional topology (57M10) Homology and cohomology theories in algebraic topology (55N99) Algebraic topology on manifolds and differential topology (57R19)

Cites Work

• Title not available (Why is that?)
• The computability problem in algebraic topology
• Lectures on algebraic topology.
• Morse theory for cell complexes
• Computational homology
• An algorithm computing homotopy groups.
• Constructive algebraic topology
• Twisted tensor products. I
• On the decidability of some problems in special classes of groups
• Fiber Spaces and the Eilenberg Homology Groups
• On Products of Complexes
• Effective homology of universal covers

This page was built for publication: Computing the homology of universal covers via effective homology and discrete vector fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6650588)