The following pages link to Effective algebraic topology (Q3357105):
Displaying 11 items.
- Hardness of embedding simplicial complexes in \(\mathbb R^d\) (Q621847) (← links)
- Effective homotopy of fibrations (Q714654) (← links)
- Fibrations of algebraic groups (Q761504) (← links)
- Computability of homotopy groups of nilpotent complexes (Q1092451) (← links)
- The computability problem in algebraic topology (Q1328492) (← links)
- Constructive algebraic topology (Q1612751) (← links)
- An implementation of effective homotopy of fibrations (Q2422709) (← links)
- Extendability of continuous maps is undecidable (Q2441584) (← links)
- Effective homological computations on finite topological spaces (Q2682393) (← links)
- Algebraic set theory and the effective topos (Q5718693) (← links)
- Computing all maps into a sphere (Q5743373) (← links)
