31 citations · 72 across the 8 of their papers we have counts for
9 papers
Obstruction theory on 7-manifolds
Martin Cadek, Michael Crabb, Tomas Salac
This paper gives a uniform, self-contained and direct approach to a variety of obstruction-theoretic problems on manifolds of dimension 7 and 6. We give necessary and sufficient co…
Algorithmic solvability of the lifting-extension problem
Martin Čadek, Marek Krčál, Lukáš Vokřínek
Let and be finite simplicial sets (e.g. finite simplicial complexes), both equipped with a free simplicial action of a finite group . Assuming that is -connected…
Extendability of continuous maps is undecidable
Martin Cadek, Marek Krcal, Jiri Matousek +2
We consider two basic problems of algebraic topology, the extension problem and the computation of higher homotopy groups, from the point of view of computability and computational…
Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension
Martin Cadek, Marek Krcal, Jiri Matousek +2
For several computational problems in homotopy theory, we obtain algorithms with running time polynomial in the input size. In particular, for every fixed k>1, there is a polynomia…
Computing all maps into a sphere
Martin Čadek, Marek Krčál, Jiří Matoušek +3
Given topological spaces X and Y, a fundamental problem of algebraic topology is understanding the structure of all continuous maps X -> Y . We consider a computational version, wh…
Loop homology of quaternionic projective spaces
Martin Cadek, Zdenek Moravec
We determine the Batalin-Vilkovisky algebra structure of the integral loop homology of quaternionic projective spaces and octonionic projective plane.