Title | Computational homology of -types |
Author(s) | Graham Ellis, Le Van Luyen |
Type | Article in Journal |
Abstract | We describe an algorithm for computing the integral homology of a simplicial group and illustrate an implementation on simplicial groups arising as the nerve of a category object in the category of groups. |
Keywords | Homology, n -types, Crossed modules, Simplicial groups |
ISSN | 0747-7171 |
URL |
http://www.sciencedirect.com/science/article/pii/S074771711200017X |
Language | English |
Journal | Journal of Symbolic Computation |
Volume | 47 |
Number | 11 |
Pages | 1309 - 1317 |
Year | 2012 |
Edition | 0 |
Translation |
No |
Refereed |
No |