Programming before theorizing: a case study

DOI10.1145/2442829.2442871MaRDI QIDQ5244547zbMATH OpenOpenAlexFDO

Authors 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

bar constructionclassifying spacesconstructive algebraic topologyEilenberg-MacLane spacesEilenberg-Zilber theoremsfibrationshomotopy groups

Mathematics Subject Classification ID

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

Recommendations

• Triangulations of complex projective spaces
• The homological hexagonal lemma
• Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm
• Discrete Morse theory and classifying spaces
• Polynomial-time homology for simplicial Eilenberg-MacLane spaces

Cited in

(4)

• 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
• Triangulations of complex projective spaces

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5244547)