{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:00:48Z","timestamp":1760061648307},"reference-count":29,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":3850,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.1016\/s0747-7171(02)00103-7","type":"journal-article","created":{"date-parts":[[2003,1,17]],"date-time":"2003-01-17T18:39:55Z","timestamp":1042828795000},"page":"59-72","source":"Crossref","is-referenced-by-count":5,"title":["Computation and homotopical applications of induced crossed modules"],"prefix":"10.1016","volume":"35","author":[{"given":"Ronald","family":"Brown","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher D.","family":"Wensley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0747-7171(02)00103-7_B1","unstructured":"Alp, M., 1997. GAP, Crossed Modules, Cat1-groups: Applications of Computational Group Theory, Ph.D. Thesis, University of Wales, Bangor. Available from http:\/\/www.informatics.bangor.ac.uk\/public\/math\/research\/ftp\/theses\/alp.ps.gz"},{"key":"10.1016\/S0747-7171(02)00103-7_B2","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1142\/S0218196700000170","article-title":"Enumeration of cat1-groups of low order","volume":"10","author":"Alp","year":"2000","journal-title":"Int. J. Algebra Comput."},{"key":"10.1016\/S0747-7171(02)00103-7_B3","unstructured":"Ashley, N.K., 1978. Simplicial T-complexes, Ph.D. Thesis, University of Wales, Bangor. Published as: Simplicial T-complexes: a non-abelian version of a theorem of Dold and Kan, Diss. Math. (Rozprawy Mat.) (1988), 265, 1\u201361"},{"key":"10.1016\/S0747-7171(02)00103-7_B4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1112\/S0024609301008566","article-title":"Mathematics in the 20th century","volume":"34","author":"Atiyah","year":"2002","journal-title":"Bull. London Math. Soc."},{"key":"10.1016\/S0747-7171(02)00103-7_B5","doi-asserted-by":"crossref","first-page":"465","DOI":"10.24033\/asens.1656","article-title":"Th\u00e9orie de Schreier sup\u00e9rieure","volume":"25","author":"Breen","year":"1992","journal-title":"Ann. Sci. \u00c9col. Norm. Sup."},{"key":"10.1016\/S0747-7171(02)00103-7_B6","volume":"vol. 87","author":"Brown","year":"1982"},{"key":"10.1016\/S0747-7171(02)00103-7_B7","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF00122251","article-title":"Homotopy theory, and change of base for groupoids and multiple groupoids","volume":"4","author":"Brown","year":"1996","journal-title":"Appl. Categ. Struct."},{"key":"10.1016\/S0747-7171(02)00103-7_B8","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1112\/plms\/s3-36.2.193","article-title":"On the connection between the second relative homotopy groups of some related spaces","volume":"36","author":"Brown","year":"1978","journal-title":"Proc. London Math. Soc."},{"key":"10.1016\/S0747-7171(02)00103-7_B9","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1017\/S0305004100070158","article-title":"The classifying space of a crossed complex","volume":"110","author":"Brown","year":"1991","journal-title":"Math. Proc. Camb. Phil. Soc."},{"key":"10.1016\/S0747-7171(02)00103-7_B10","first-page":"153","article-title":"Identities among relations","volume":"vol. 46","author":"Brown","year":"1982"},{"key":"10.1016\/S0747-7171(02)00103-7_B11","first-page":"343","article-title":"Double groupoids and crossed modules","volume":"17","author":"Brown","year":"1976","journal-title":"Cah. Top. G\u00e9om. Diff."},{"key":"10.1016\/S0747-7171(02)00103-7_B12","first-page":"296","article-title":"G-groupoids, crossed modules and the fundamental groupoid of a topological group","volume":"79","author":"Brown","year":"1976","journal-title":"Proc. K. Ned. Akad. Wet."},{"key":"10.1016\/S0747-7171(02)00103-7_B13","first-page":"51","article-title":"On finite induced crossed modules and the homotopy 2-type of mapping cones","volume":"1","author":"Brown","year":"1995","journal-title":"Theory Appl. Categ."},{"key":"10.1016\/S0747-7171(02)00103-7_B14","first-page":"3","article-title":"Computing crossed modules induced by an inclusion of a normal subgroup, with applications to homotopy theory","volume":"2","author":"Brown","year":"1996","journal-title":"Theory Appl. Categories"},{"key":"10.1016\/S0747-7171(02)00103-7_B15","unstructured":"Dakin, K., 1977. Multiple Compositions for Higher Dimensional Groupoids, Ph.D. Thesis, University of Wales, Bangor"},{"key":"10.1016\/S0747-7171(02)00103-7_B16","unstructured":"The GAP Group, GAP\u2014Groups, Algorithms, and Programming, Version 4.3 (2002). Available from http:\/\/www.gap-system.org"},{"key":"10.1016\/S0747-7171(02)00103-7_B17","unstructured":"Heyworth, A., Wensley, C.D., Logged rewriting and identities among relators. In: Proceedings of Groups St Andrews 2001 in Oxford (to appear)"},{"key":"10.1016\/S0747-7171(02)00103-7_B18","unstructured":"Higher-dimensional discrete algebra, Available from http:\/\/www.informatics.bangor.ac.uk\/public\/math\/research\/hdda\/"},{"key":"10.1016\/S0747-7171(02)00103-7_B19","volume":"vol. 197","year":"1993"},{"key":"10.1016\/S0747-7171(02)00103-7_B20","unstructured":"Jones, D.W., 1984. Polyhedral T-complexes, Ph.D. Thesis, University of Wales, Bangor. Published as: A general theory of polyhedral sets and the corresponding T-complexes, Diss. Math. (Rozprawy Mat.) (1988), 266, 1\u2013110"},{"key":"10.1016\/S0747-7171(02)00103-7_B21","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0022-4049(82)90014-7","article-title":"Spaces with finitely many non-trivial homotopy groups","volume":"24","author":"Loday","year":"1982","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0747-7171(02)00103-7_B22","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1073\/pnas.36.1.41","article-title":"On the 3-type of a complex","volume":"36","author":"MacLane","year":"1950","journal-title":"Proc. Nat. Acad. Sci."},{"key":"10.1016\/S0747-7171(02)00103-7_B23","unstructured":"Moore, E.J., 2001. Graphs of Groups: Word Computations and Free Crossed Resolutions, Ph.D. Thesis, University of Wales, Bangor. Available from http:\/\/www.informatics.bangor.ac.uk\/public\/math\/research\/ftp\/theses\/moore.ps.gz"},{"key":"10.1016\/S0747-7171(02)00103-7_B24","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0022-4049(89)90143-6","article-title":"A Dold-Kan theorem for crossed complexes","volume":"56","author":"Nan Tie","year":"1989","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0747-7171(02)00103-7_B25","unstructured":"Pride, S.J., 1991. Identities among relations. In: Ghys, E., Haefliger, A., Verjodsky, A. (Eds.), Proc. Workshop on Group Theory from a Geometrical Viewpoint, International Centre of Theoretical Physics, Trieste, 1990, World Scientific, pp. 687\u2013716"},{"key":"10.1016\/S0747-7171(02)00103-7_B26","unstructured":"Sch\u00f6nert, M. et al., 1997. GAP\u2013Groups, Algorithms, and Programming, 6th edn. Lehrstuhl D f\u00fcr Mathematik, Rheinisch Westf\u00e4lische Technische Hochschule, Aachen, Germany"},{"key":"10.1016\/S0747-7171(02)00103-7_B27","first-page":"806","article-title":"On adding relations to homotopy groups","volume":"41","author":"Whitehead","year":"1941","journal-title":"Ann. Math."},{"key":"10.1016\/S0747-7171(02)00103-7_B28","doi-asserted-by":"crossref","first-page":"806","DOI":"10.2307\/1969237","article-title":"Note on a previous paper entitled on adding relations to homotopy groups","volume":"47","author":"Whitehead","year":"1946","journal-title":"Ann. Math."},{"key":"10.1016\/S0747-7171(02)00103-7_B29","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1090\/S0002-9904-1949-09213-3","article-title":"Combinatorial homotopy II","volume":"55","author":"Whitehead","year":"1949","journal-title":"Bull. Am. Math. Soc."}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717102001037?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717102001037?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,30]],"date-time":"2019-03-30T18:54:58Z","timestamp":1553972098000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717102001037"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,1]]}},"alternative-id":["S0747717102001037"],"URL":"https:\/\/doi.org\/10.1016\/s0747-7171(02)00103-7","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}