10 Publications

Mark all

[10]
2017 | Journal Article | IST-REx-ID: 1073   OA
Čadek M, Krcál M, Vokřínek L. 2017. Algorithmic solvability of the lifting extension problem. Discrete & Computational Geometry. 54(4), 915–965.
View | DOI | Download (ext.)
 
[9]
2017 | Journal Article | IST-REx-ID: 568   OA
Franek P, Krcál M. 2017. Persistence of zero sets. Homology, Homotopy and Applications. 19(2), 313–342.
View | DOI | Download (ext.)
 
[8]
2016 | Conference Paper | IST-REx-ID: 1237
Krcál M, Pilarczyk P. 2016. Computation of cubical Steenrod squares. CTIC: Computational Topology in Image Context, LNCS, vol. 9667. 140–151.
View | DOI
 
[7]
2016 | Journal Article | IST-REx-ID: 1408
Franek P, Krcál M. 2016. On computability and triviality of well groups. Discrete & Computational Geometry. 56(1), 126–164.
View | Files available | DOI
 
[6]
2015 | Conference Paper | IST-REx-ID: 1510   OA
Franek P, Krcál M. 2015. On computability and triviality of well groups. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 34. 842–856.
View | Files available | DOI
 
[5]
2015 | Journal Article | IST-REx-ID: 1682   OA
Franek P, Krcál M. 2015. Robust satisfiability of systems of equations. Journal of the ACM. 62(4).
View | DOI | Download (ext.)
 
[4]
2014 | Journal Article | IST-REx-ID: 2184   OA
Čadek M, Krcál M, Matoušek J, Sergeraert F, Vokřínek L, Wagner U. 2014. Computing all maps into a sphere. Journal of the ACM. 61(3).
View | DOI | Download (ext.)
 
[3]
2014 | Journal Article | IST-REx-ID: 1842   OA
Cibulka J, Gao P, Krcál M, Valla T, Valtr P. 2014. On the geometric ramsey number of outerplanar graphs. Discrete & Computational Geometry. 53(1), 64–79.
View | DOI | Download (ext.)
 
[2]
2013 | Conference Paper | IST-REx-ID: 2807   OA
Čadek M, Krcál M, Matoušek J, Vokřínek L, Wagner U. 2013. Extending continuous maps: Polynomiality and undecidability. 45th Annual ACM Symposium on theory of computing. STOC: Symposium on the Theory of Computing 595–604.
View | Files available | DOI
 
[1]
2012 | Conference Paper | IST-REx-ID: 2440
Čadek M, Krcál M, Matoušek J, Sergeraert F, Vokřínek L, Wagner U. 2012. Computing all maps into a sphere. SODA: Symposium on Discrete Algorithms 1–10.
View | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed

10 Publications

Mark all

[10]
2017 | Journal Article | IST-REx-ID: 1073   OA
Čadek M, Krcál M, Vokřínek L. 2017. Algorithmic solvability of the lifting extension problem. Discrete & Computational Geometry. 54(4), 915–965.
View | DOI | Download (ext.)
 
[9]
2017 | Journal Article | IST-REx-ID: 568   OA
Franek P, Krcál M. 2017. Persistence of zero sets. Homology, Homotopy and Applications. 19(2), 313–342.
View | DOI | Download (ext.)
 
[8]
2016 | Conference Paper | IST-REx-ID: 1237
Krcál M, Pilarczyk P. 2016. Computation of cubical Steenrod squares. CTIC: Computational Topology in Image Context, LNCS, vol. 9667. 140–151.
View | DOI
 
[7]
2016 | Journal Article | IST-REx-ID: 1408
Franek P, Krcál M. 2016. On computability and triviality of well groups. Discrete & Computational Geometry. 56(1), 126–164.
View | Files available | DOI
 
[6]
2015 | Conference Paper | IST-REx-ID: 1510   OA
Franek P, Krcál M. 2015. On computability and triviality of well groups. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 34. 842–856.
View | Files available | DOI
 
[5]
2015 | Journal Article | IST-REx-ID: 1682   OA
Franek P, Krcál M. 2015. Robust satisfiability of systems of equations. Journal of the ACM. 62(4).
View | DOI | Download (ext.)
 
[4]
2014 | Journal Article | IST-REx-ID: 2184   OA
Čadek M, Krcál M, Matoušek J, Sergeraert F, Vokřínek L, Wagner U. 2014. Computing all maps into a sphere. Journal of the ACM. 61(3).
View | DOI | Download (ext.)
 
[3]
2014 | Journal Article | IST-REx-ID: 1842   OA
Cibulka J, Gao P, Krcál M, Valla T, Valtr P. 2014. On the geometric ramsey number of outerplanar graphs. Discrete & Computational Geometry. 53(1), 64–79.
View | DOI | Download (ext.)
 
[2]
2013 | Conference Paper | IST-REx-ID: 2807   OA
Čadek M, Krcál M, Matoušek J, Vokřínek L, Wagner U. 2013. Extending continuous maps: Polynomiality and undecidability. 45th Annual ACM Symposium on theory of computing. STOC: Symposium on the Theory of Computing 595–604.
View | Files available | DOI
 
[1]
2012 | Conference Paper | IST-REx-ID: 2440
Čadek M, Krcál M, Matoušek J, Sergeraert F, Vokřínek L, Wagner U. 2012. Computing all maps into a sphere. SODA: Symposium on Discrete Algorithms 1–10.
View | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed