Computational homology of \(n\)-types
From MaRDI portal
Publication:438686
DOI10.1016/j.jsc.2012.02.003zbMath1267.55007OpenAlexW2128677463MaRDI QIDQ438686
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Uses Software
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
This page was built for publication: Computational homology of \(n\)-types