Integration of the kenzo system within sagemath for new algebraic topology computations

Cuevas-Rozo, J. ; Divasón, J. ; Marco-Buzunáriz, M. (Universidad de Zaragoza) ; Romero, A.

Resumen: 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.

Idioma: Inglés

DOI: 10.3390/math9070722

Año: 2021

Publicado en: Mathematics 9, 7 (2021), 722 [24 pp]
ISSN: 2227-7390

Factor impacto JCR: 2.592 (2021)

Categ. JCR: MATHEMATICS rank: 21 / 333 = 0.063 (2021) - Q1 - T1

Factor impacto CITESCORE: 2.9 - Engineering (Q2) - Mathematics (Q2) - Computer Science (Q3)

Factor impacto SCIMAGO: 0.538 - Computer Science (miscellaneous) (Q2) - Engineering (miscellaneous) (Q2)

Financiación: info:eu-repo/grantAgreement/ES/MICIU MTM2016-76868-C2-2-P
Financiación: info:eu-repo/grantAgreement/ES/MICIU MTM2017-88804-P

Tipo y forma: Article (Published version)

Área (Departamento): Área Geometría y Topología (Dpto. Matemáticas)