A new Kenzo module for computing the Eilenberg-Moore spectral sequence
From MaRDI portal
Publication:5102030
DOI10.1145/3427218.3427225zbMath1504.55014MaRDI QIDQ5102030
Ana Romero, Markus Szymik, Francis Sergeraert, Julio Jesús Rubio García
Publication date: 6 September 2022
Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3427218.3427225
68W30: Symbolic computation and algebraic computation
55-04: Software, source code, etc. for problems pertaining to algebraic topology
55T20: Eilenberg-Moore spectral sequences
Related Items
Uses Software