Computational homology of n-types

DOI10.1016/J.JSC.2012.02.003zbMATH Open1267.55007OpenAlexW2128677463MaRDI QIDQ438686FDOQ438686

Le Van Luyen, Graham 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

Recommendations

• Publication:4721240
• Computing the homology of groups: the geometric way.
• scientific article; zbMATH DE number 3984106
• scientific article; zbMATH DE number 421659
• scientific article

zbMATH Keywords

crossed moduleshomology\(n\)-typessimplicial groups

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Simplicial sets and complexes in algebraic topology (55U10)

Cites Work

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

Cited In (7)

• On classifying simplicial modules
• Homotopy 2-Types of Low Order
• Extending the Notion of AT-Model for Integer Homology Computation
• Computability, Homotopy, and Twisted Cartesian Products
• Isoclinism of crossed modules
• Homotopy invariants of higher dimensional categories and concurrency in computer science
• Computing the homology of the lambda algebra

Uses Software

• GAP
• HAP

This page was built for publication: Computational homology of \(n\)-types

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