Pages that link to "Item:Q2570233"
From MaRDI portal
The following pages link to Algebraic models for homotopy types (Q2570233):
Displaying 13 items.
- Computational homology of \(n\)-types (Q438686) (← links)
- Homotopical and combinatorial aspects of the theory of normal series in groups. (Q486971) (← links)
- Segal-type algebraic models of \(n\)-types (Q488573) (← links)
- An algebraic model for \(G\)-simple homotopy types (Q1058192) (← links)
- An algebraic model for homotopy fibers (Q1605633) (← links)
- Computing simplicial representatives of homotopy group elements (Q2324597) (← links)
- An implementation of effective homotopy of fibrations (Q2422709) (← links)
- Extendability of continuous maps is undecidable (Q2441584) (← links)
- Computing All Maps into a Sphere (Q3189652) (← links)
- (Q3410369) (← links)
- Pro-algebraic homotopy types (Q3525978) (← links)
- (Q3678311) (← links)
- Computing all maps into a sphere (Q5743373) (← links)