106171 20230519145517.0 doi 10.3390/math9070722 sideral 124075 ART-2021-124075 eng Cuevas-Rozo, J. Integration of the kenzo system within sagemath for new algebraic topology computations 2021 Access copy available to the general public Unrestricted This work integrates the Kenzo system within Sagemath as an interface and an optional package. Our work makes it possible to communicate both computer algebra programs and it enhances the SageMath system with new capabilities in algebraic topology, such as the computation of homotopy groups and some kind of spectral sequences, dealing in particular with simplicial objects of an infinite nature. The new interface allows computing homotopy groups that were not known before. info:eu-repo/grantAgreement/ES/MICIU MTM2016-76868-C2-2-P info:eu-repo/grantAgreement/ES/MICIU MTM2017-88804-P info:eu-repo/semantics/openAccess by http://creativecommons.org/licenses/by/3.0/es/ 2.592 2021 MATHEMATICS 21 / 333 = 0.063 2021 Q1 T1 0.538 2021 Computer Science (miscellaneous) 2021 Q2 Engineering (miscellaneous) 2021 Q2 2.9 2021 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Divasón, J. Marco-Buzunáriz, M. Universidad de Zaragoza (orcid)0000-0002-6750-8971 Romero, A. 2006 440 Universidad de Zaragoza Dpto. Matemáticas Área Geometría y Topología 9, 7 (2021), 722 [24 pp] Mathematics (Basel) Mathematics 2227-7390 466564 http://zaguan.unizar.es/record/106171/files/texto_completo.pdf Versión publicada 2734840 http://zaguan.unizar.es/record/106171/files/texto_completo.jpg?subformat=icon icon Versión publicada oai:zaguan.unizar.es:106171 articulos driver 2023-05-18-15:19:21 ARTICLE