Computing the homology of groups: the geometric way.

DOI10.1016/j.jsc.2011.12.007zbMath1251.20048arXiv1107.3396OpenAlexW2158202787MaRDI QIDQ420743

Ana Romero, Julio Jesús Rubio García

Publication date: 23 May 2012

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

Full work available at URL: https://arxiv.org/abs/1107.3396

zbMATH Keywords

algorithmsalgebraic topologygroup homologyEilenberg-MacLane spacescommon lispeffective homologyhomology of classifying spaces

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Cohomology of groups (20J06) Simplicial sets and complexes in algebraic topology (55U10) Eilenberg-Mac Lane spaces (55P20)

Related Items (3)

Computational homology of \(n\)-types ⋮ Polynomial-time homology for simplicial Eilenberg-MacLane spaces ⋮ Homological models for semidirect products of finitely generated Abelian groups.

Uses Software

• GAP
• Kenzo
• HAP
• OpenMath

Cites Work

• The computability problem in algebraic topology
• Constructive algebraic topology
• On the chain-complex of a fibration
• On the groups \(H(\Pi,n)\). I
• On the groups \(H(\Pi,n)\). II
• On the groups \(H(\varPi,n)\). III. Operations and obstructions
• Interoperating between computer algebra systems
• Homology of 2-Types
• The integral cohomology rings of some p-groups
• On Products of Complexes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computing the homology of groups: the geometric way.