A new Kenzo module for computing the Eilenberg-Moore spectral sequence
From MaRDI portal
Publication:5102030
DOI10.1145/3427218.3427225zbMath1504.55014OpenAlexW3091072488MaRDI 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
Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to algebraic topology (55-04) Eilenberg-Moore spectral sequences (55T20)
Related Items
Uses Software