Computational homology of \(n\)-types

DOI10.1016/j.jsc.2012.02.003zbMath1267.55007MaRDI QIDQ438686

Le Van Luyen, Graham J. Ellis

Publication date: 31 July 2012

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

Full work available at URL: https://doi.org/10.1016/j.jsc.2012.02.003

zbMATH Keywords

homology; crossed modules; \(n\)-types; simplicial groups

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

55U10: Simplicial sets and complexes in algebraic topology

Related Items

Homotopy 2-Types of Low Order, Isoclinism of crossed modules

Uses Software

• GAP
• HAP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computing the homology of groups: the geometric way.
• Some computations of non-Abelian tensor products of groups
• Coreduction homology algorithm for regular CW-complexes
• On the integral homology of \(\text{PSL}_4(\mathbb Z)\) and other arithmetic groups
• Poincaré duality complexes in dimension four
• Spaces with finitely many non-trivial homotopy groups
• (Co)homology of crossed modules with coefficients in a \(\pi_1\)-module
• Gröbner bases and the computation of group cohomology.
• Wythoff polytopes and low-dimensional homology of Mathieu groups.
• The \(K(\pi ,1)\) conjecture for a class of Artin groups
• Iterated wreath product of the simplex category and iterated loop spaces
• On the cohomology of generalized triangle groups.
• Algebraic models for homotopy types
• Computing group resolutions.
• Interoperating between computer algebra systems
• Homology of 2-Types
• Polytopal resolutions for finite groups
• On (co)homology of 2-types and crossed modules
• (Co)Homology of crossed modules