Martin Cadek

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 1

Top Topics

Continuous Variables

Multiresolution

Query Answering

Top Venues

Discret. Comput. Geom.

Publications

Martin Cadek, Marek Krcál, Lukás Vokrínek
Algorithmic Solvability of the Lifting-Extension Problem. Discret. Comput. Geom. 57 (4) (2017)
Martin Cadek, Marek Krcál, Jirí Matousek, Lukás Vokrínek, Uli Wagner
Extendability of Continuous Maps Is Undecidable. Discret. Comput. Geom. 51 (1) (2014)
Martin Cadek, Marek Krcál, Jirí Matousek, Lukás Vokrínek, Uli Wagner
Polynomial-Time Computation of Homotopy Groups and Postnikov Systems in Fixed Dimension. SIAM J. Comput. 43 (5) (2014)
Martin Cadek, Marek Krcál, Jirí Matousek, Francis Sergeraert, Lukás Vokrínek, Uli Wagner
Computing All Maps into a Sphere. J. ACM 61 (3) (2014)
Martin Cadek, Marek Krcál, Jirí Matousek, Lukás Vokrínek, Uli Wagner
Extending continuous maps: polynomiality and undecidability. STOC (2013)
Martin Cadek, Marek Krcál, Jirí Matousek, Lukás Vokrínek, Uli Wagner
Extendability of continuous maps is undecidable CoRR (2013)
Martin Cadek, Marek Krcál, Lukás Vokrínek
Algorithmic solvability of the lifting-extension problem. CoRR (2013)
Martin Cadek, Marek Krcál, Jirí Matousek, Lukás Vokrínek, Uli Wagner
Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension CoRR (2012)
Martin Cadek, Marek Krcál, Jirí Matousek, Francis Sergeraert, Lukás Vokrínek, Uli Wagner
Computing all maps into a sphere. SODA (2012)
Martin Cadek, Marek Krcál, Jirí Matousek, Francis Sergeraert, Lukás Vokrínek, Uli Wagner
Computing all maps into a sphere CoRR (2011)