Pages that link to "Item:Q768506"
From MaRDI portal
The following pages link to Finite computability of Postnikov complexes (Q768506):
Displaying 25 items.
- Hardness of embedding simplicial complexes in \(\mathbb R^d\) (Q621847) (← links)
- Automatic generation of cuts on large-sized meshes for the \(T-\Omega \) geometric eddy-current formulation (Q660415) (← links)
- Effective homotopy of fibrations (Q714654) (← links)
- Computability of homotopy groups of nilpotent complexes (Q1092451) (← links)
- \(p\)-adic homotopy theory (Q1309823) (← links)
- The computation of the Betti numbers of an elliptic space is an NP-hard problem (Q1398203) (← links)
- An algorithm computing homotopy groups. (Q1565828) (← links)
- Constructive algebraic topology (Q1612751) (← links)
- A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space (Q1683741) (← links)
- Are two given maps homotopic? An algorithmic viewpoint (Q2309521) (← links)
- Computing simplicial representatives of homotopy group elements (Q2324597) (← links)
- Interpolation, the rudimentary geometry of spaces of Lipschitz functions, and geometric complexity (Q2329040) (← links)
- Algorithmic solvability of the lifting-extension problem (Q2358826) (← links)
- An implementation of effective homotopy of fibrations (Q2422709) (← links)
- Extendability of continuous maps is undecidable (Q2441584) (← links)
- The periodicity theorem for the classical groups and some of its applications (Q2550572) (← links)
- Cohomology operations, and obstructions to extending continuous functions (Q2552333) (← links)
- Remarks on the realizability of Whitehead product (Q2626377) (← links)
- Fifty years of homotopy theory (Q3036273) (← links)
- Computing All Maps into a Sphere (Q3189652) (← links)
- Fibrations and geometric realizations (Q4195601) (← links)
- La théorie des fonctions récursives et ses applications. (Exposé d'information générale) (Q5536266) (← links)
- Computing all maps into a sphere (Q5743373) (← links)
- Computing homotopy classes for diagrams (Q6050228) (← links)
- Rational homotopy type and computability (Q6072332) (← links)
