129677 20240731103352.0 doi 10.1145/3614408.3614414 sideral 134467 ART-2023-134467 eng Marco-Buzunáriz, Miguel A. Universidad de Zaragoza (orcid)0000-0002-6750-8971 Effective homology of universal covers 2023 Access copy available to the general public Unrestricted We present an algorithm for constructing the effective homology for the universal cover of simplicial sets with effective homology, provided that a nilpotency condition holds. This can be useful for computing higher homotopy groups, since this process can be seen as the first step in the Whitehead tower. Our algorithm can be applied to some spaces satisfying a particular condition. We also present implementations of this method in SageMath and Kenzo. info:eu-repo/grantAgreement/ES/DGA/E22-20R info:eu-repo/grantAgreement/ES/MICINN/PID2020-114750GB-C31/AEI/10.13039/501100011033 info:eu-repo/semantics/openAccess by-nc http://creativecommons.org/licenses/by-nc/3.0/es/ 0.336 2023 Computational Theory and Mathematics 2023 Q3 Computational Mathematics 2023 Q3 0.7 2023 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Romero, Ana Divasón, Jose 2006 440 Universidad de Zaragoza Dpto. Matemáticas Área Geometría y Topología 57, 2 (2023), 47-50 ACM commun. computer algebr. ACM communications in computer algebra 1932-2232 591596 http://zaguan.unizar.es/record/129677/files/texto_completo.pdf Versión publicada 2000088 http://zaguan.unizar.es/record/129677/files/texto_completo.jpg?subformat=icon icon Versión publicada oai:zaguan.unizar.es:129677 articulos driver 2024-07-31-09:54:46 ARTICLE