Pages that link to "Item:Q5326507"
From MaRDI portal
The following pages link to Homotopy groups of suspended classifying spaces: An experimental approach (Q5326507):
Displayed 4 items.
- A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space (Q1683741) (← links)
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
- An implementation of effective homotopy of fibrations (Q2422709) (← links)
- Homotopy groups as centres of finitely presented groups (Q5327399) (← links)