Programming before theorizing, a case study

DOI10.1145/2442829.2442871zbMath1323.68624OpenAlexW1964903760MaRDI QIDQ5244547

Ana Romero, Francis Sergeraert

Publication date: 27 March 2015

Published in: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2442829.2442871

zbMATH Keywords

classifying spacesfibrationsbar constructionEilenberg-MacLane spaceshomotopy groupsconstructive algebraic topologyEilenberg-Zilber theorems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Classifying spaces of groups and (H)-spaces in algebraic topology (55R35) Eilenberg-Mac Lane spaces (55P20) Spectral sequences and homology of fiber spaces in algebraic topology (55R20)

Related Items (3)

A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space ⋮ The homological hexagonal lemma ⋮ A combinatorial tool for computing the effective homotopy of iterated loop spaces

This page was built for publication: Programming before theorizing, a case study