---
OA_place: repository
OA_type: green
_id: '10793'
abstract:
- lang: eng
  text: "The Hanani–Tutte theorem is a classical result proved for the first time
    in the 1930s that characterizes planar graphs as graphs that admit a drawing in
    the plane in which every pair of edges not sharing a vertex cross an even number
    of times. We generalize this classical result to clustered graphs with two disjoint
    clusters, and show that a straightforward extension of our result to flat clustered
    graphs with three or more disjoint clusters is not possible.\r\n\r\nWe also give
    a new and short proof for a related result by Di Battista and Frati based on the
    matroid intersection algorithm."
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Radoslav
  full_name: Fulek, Radoslav
  id: 39F3FFE4-F248-11E8-B48F-1D18A9856A87
  last_name: Fulek
  orcid: 0000-0001-8485-1774
- first_name: Jan
  full_name: Kynčl, Jan
  last_name: Kynčl
- first_name: Igor
  full_name: Malinović, Igor
  last_name: Malinović
- first_name: Dömötör
  full_name: Pálvölgyi, Dömötör
  last_name: Pálvölgyi
citation:
  ama: 'Fulek R, Kynčl J, Malinović I, Pálvölgyi D. Clustered planarity testing revisited.
    In: <i>International Symposium on Graph Drawing</i>. Vol 8871. Cham: Springer
    Nature; 2014:428-436. doi:<a href="https://doi.org/10.1007/978-3-662-45803-7_36">10.1007/978-3-662-45803-7_36</a>'
  apa: 'Fulek, R., Kynčl, J., Malinović, I., &#38; Pálvölgyi, D. (2014). Clustered
    planarity testing revisited. In <i>International Symposium on Graph Drawing</i>
    (Vol. 8871, pp. 428–436). Cham: Springer Nature. <a href="https://doi.org/10.1007/978-3-662-45803-7_36">https://doi.org/10.1007/978-3-662-45803-7_36</a>'
  chicago: 'Fulek, Radoslav, Jan Kynčl, Igor Malinović, and Dömötör Pálvölgyi. “Clustered
    Planarity Testing Revisited.” In <i>International Symposium on Graph Drawing</i>,
    8871:428–36. Cham: Springer Nature, 2014. <a href="https://doi.org/10.1007/978-3-662-45803-7_36">https://doi.org/10.1007/978-3-662-45803-7_36</a>.'
  ieee: R. Fulek, J. Kynčl, I. Malinović, and D. Pálvölgyi, “Clustered planarity testing
    revisited,” in <i>International Symposium on Graph Drawing</i>, 2014, vol. 8871,
    pp. 428–436.
  ista: Fulek R, Kynčl J, Malinović I, Pálvölgyi D. 2014. Clustered planarity testing
    revisited. International Symposium on Graph Drawing. , LNCS, vol. 8871, 428–436.
  mla: Fulek, Radoslav, et al. “Clustered Planarity Testing Revisited.” <i>International
    Symposium on Graph Drawing</i>, vol. 8871, Springer Nature, 2014, pp. 428–36,
    doi:<a href="https://doi.org/10.1007/978-3-662-45803-7_36">10.1007/978-3-662-45803-7_36</a>.
  short: R. Fulek, J. Kynčl, I. Malinović, D. Pálvölgyi, in:, International Symposium
    on Graph Drawing, Springer Nature, Cham, 2014, pp. 428–436.
date_created: 2022-02-25T10:32:14Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2025-06-26T07:57:46Z
day: '01'
department:
- _id: UlWa
doi: 10.1007/978-3-662-45803-7_36
external_id:
  arxiv:
  - '1305.4519'
fulldoi: https://doi.org/10.1007/978-3-662-45803-7_36
intvolume: '      8871'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.1305.4519
month: '01'
oa: 1
oa_version: Preprint
page: 428-436
place: Cham
publication: International Symposium on Graph Drawing
publication_identifier:
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '1642'
    relation: later_version
    status: public
scopus_import: '1'
status: public
title: Clustered planarity testing revisited
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8871
year: '2014'
...
---
_id: '7038'
article_processing_charge: No
author:
- first_name: Kristóf
  full_name: Huszár, Kristóf
  id: 33C26278-F248-11E8-B48F-1D18A9856A87
  last_name: Huszár
  orcid: 0000-0002-5445-5057
- first_name: Michal
  full_name: Rolinek, Michal
  id: 3CB3BC06-F248-11E8-B48F-1D18A9856A87
  last_name: Rolinek
citation:
  ama: Huszár K, Rolinek M. <i>Playful Math - An Introduction to Mathematical Games</i>.
    IST Austria
  apa: Huszár, K., &#38; Rolinek, M. (n.d.). <i>Playful Math - An introduction to
    mathematical games</i>. IST Austria.
  chicago: Huszár, Kristóf, and Michal Rolinek. <i>Playful Math - An Introduction
    to Mathematical Games</i>. IST Austria, n.d.
  ieee: K. Huszár and M. Rolinek, <i>Playful Math - An introduction to mathematical
    games</i>. IST Austria.
  ista: Huszár K, Rolinek M. Playful Math - An introduction to mathematical games,
    IST Austria, 5p.
  mla: Huszár, Kristóf, and Michal Rolinek. <i>Playful Math - An Introduction to Mathematical
    Games</i>. IST Austria.
  short: K. Huszár, M. Rolinek, Playful Math - An Introduction to Mathematical Games,
    IST Austria, n.d.
corr_author: '1'
date_created: 2019-11-18T15:57:05Z
date_published: 2014-06-30T00:00:00Z
date_updated: 2025-06-26T12:38:53Z
day: '30'
ddc:
- '510'
department:
- _id: VlKo
- _id: UlWa
file:
- access_level: open_access
  checksum: 2b94e5e1f4c3fe8ab89b12806276fb09
  content_type: application/pdf
  creator: dernst
  date_created: 2019-11-18T15:57:51Z
  date_updated: 2020-07-14T12:47:48Z
  file_id: '7039'
  file_name: 2014_Playful_Math_Huszar.pdf
  file_size: 511233
  relation: main_file
file_date_updated: 2020-07-14T12:47:48Z
has_accepted_license: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: '5'
publication_status: draft
publisher: IST Austria
status: public
title: Playful Math - An introduction to mathematical games
type: working_paper
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
---
_id: '1842'
abstract:
- lang: eng
  text: We prove polynomial upper bounds of geometric Ramsey numbers of pathwidth-2
    outerplanar triangulations in both convex and general cases. We also prove that
    the geometric Ramsey numbers of the ladder graph on 2n vertices are bounded by
    O(n3) and O(n10), in the convex and general case, respectively. We then apply
    similar methods to prove an (Formula presented.) upper bound on the Ramsey number
    of a path with n ordered vertices.
acknowledgement: Marek Krčál was supported by the ERC Advanced Grant No. 267165.
article_processing_charge: No
arxiv: 1
author:
- first_name: Josef
  full_name: Cibulka, Josef
  last_name: Cibulka
- first_name: Pu
  full_name: Gao, Pu
  last_name: Gao
- first_name: Marek
  full_name: Krcál, Marek
  id: 33E21118-F248-11E8-B48F-1D18A9856A87
  last_name: Krcál
- first_name: Tomáš
  full_name: Valla, Tomáš
  last_name: Valla
- first_name: Pavel
  full_name: Valtr, Pavel
  last_name: Valtr
citation:
  ama: Cibulka J, Gao P, Krcál M, Valla T, Valtr P. On the geometric ramsey number
    of outerplanar graphs. <i>Discrete &#38; Computational Geometry</i>. 2014;53(1):64-79.
    doi:<a href="https://doi.org/10.1007/s00454-014-9646-x">10.1007/s00454-014-9646-x</a>
  apa: Cibulka, J., Gao, P., Krcál, M., Valla, T., &#38; Valtr, P. (2014). On the
    geometric ramsey number of outerplanar graphs. <i>Discrete &#38; Computational
    Geometry</i>. Springer. <a href="https://doi.org/10.1007/s00454-014-9646-x">https://doi.org/10.1007/s00454-014-9646-x</a>
  chicago: Cibulka, Josef, Pu Gao, Marek Krcál, Tomáš Valla, and Pavel Valtr. “On
    the Geometric Ramsey Number of Outerplanar Graphs.” <i>Discrete &#38; Computational
    Geometry</i>. Springer, 2014. <a href="https://doi.org/10.1007/s00454-014-9646-x">https://doi.org/10.1007/s00454-014-9646-x</a>.
  ieee: J. Cibulka, P. Gao, M. Krcál, T. Valla, and P. Valtr, “On the geometric ramsey
    number of outerplanar graphs,” <i>Discrete &#38; Computational Geometry</i>, vol.
    53, no. 1. Springer, pp. 64–79, 2014.
  ista: Cibulka J, Gao P, Krcál M, Valla T, Valtr P. 2014. On the geometric ramsey
    number of outerplanar graphs. Discrete &#38; Computational Geometry. 53(1), 64–79.
  mla: Cibulka, Josef, et al. “On the Geometric Ramsey Number of Outerplanar Graphs.”
    <i>Discrete &#38; Computational Geometry</i>, vol. 53, no. 1, Springer, 2014,
    pp. 64–79, doi:<a href="https://doi.org/10.1007/s00454-014-9646-x">10.1007/s00454-014-9646-x</a>.
  short: J. Cibulka, P. Gao, M. Krcál, T. Valla, P. Valtr, Discrete &#38; Computational
    Geometry 53 (2014) 64–79.
date_created: 2018-12-11T11:54:18Z
date_published: 2014-11-14T00:00:00Z
date_updated: 2025-09-29T13:11:56Z
day: '14'
department:
- _id: UlWa
- _id: HeEd
doi: 10.1007/s00454-014-9646-x
external_id:
  arxiv:
  - '1310.7004'
  isi:
  - '000346774600005'
fulldoi: https://doi.org/10.1007/s00454-014-9646-x
intvolume: '        53'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1310.7004
month: '11'
oa: 1
oa_version: Submitted Version
page: 64 - 79
publication: Discrete & Computational Geometry
publication_status: published
publisher: Springer
publist_id: '5260'
scopus_import: '1'
status: public
title: On the geometric ramsey number of outerplanar graphs
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 53
year: '2014'
...
---
_id: '2159'
abstract:
- lang: eng
  text: 'Motivated by topological Tverberg-type problems, we consider multiple (double,
    triple, and higher multiplicity) selfintersection points of maps from finite simplicial
    complexes (compact polyhedra) into ℝd and study conditions under which such multiple
    points can be eliminated. The most classical case is that of embeddings (i.e.,
    maps without double points) of a κ-dimensional complex K into ℝ2κ. For this problem,
    the work of van Kampen, Shapiro, and Wu provides an efficiently testable necessary
    condition for embeddability (namely, vanishing of the van Kampen ob-struction).
    For κ ≥ 3, the condition is also sufficient, and yields a polynomial-time algorithm
    for deciding embeddability: One starts with an arbitrary map f : K→ℝ2κ, which
    generically has finitely many double points; if k ≥ 3 and if the obstruction vanishes
    then one can successively remove these double points by local modifications of
    the map f. One of the main tools is the famous Whitney trick that permits eliminating
    pairs of double points of opposite intersection sign. We are interested in generalizing
    this approach to intersection points of higher multiplicity. We call a point y
    2 ℝd an r-fold Tverberg point of a map f : Kκ →ℝd if y lies in the intersection
    f(σ1)∩. ∩f(σr) of the images of r pairwise disjoint simplices of K. The analogue
    of (non-)embeddability that we study is the problem Tverbergκ r→d: Given a κ-dimensional
    complex K, does it satisfy a Tverberg-type theorem with parameters r and d, i.e.,
    does every map f : K κ → ℝd have an r-fold Tverberg point? Here, we show that
    for fixed r, κ and d of the form d = rm and k = (r-1)m, m ≥ 3, there is a polynomial-time
    algorithm for deciding this (based on the vanishing of a cohomological obstruction,
    as in the case of embeddings). Our main tool is an r-fold analogue of the Whitney
    trick: Given r pairwise disjoint simplices of K such that the intersection of
    their images contains two r-fold Tverberg points y+ and y- of opposite intersection
    sign, we can eliminate y+ and y- by a local isotopy of f. In a subsequent paper,
    we plan to develop this further and present a generalization of the classical
    Haeiger-Weber Theorem (which yields a necessary and sufficient condition for embeddability
    of κ-complexes into ℝd for a wider range of dimensions) to intersection points
    of higher multiplicity.'
acknowledgement: Swiss National Science Foundation (Project SNSF-PP00P2-138948)
author:
- first_name: Isaac
  full_name: Mabillard, Isaac
  id: 32BF9DAA-F248-11E8-B48F-1D18A9856A87
  last_name: Mabillard
- first_name: Uli
  full_name: Wagner, Uli
  id: 36690CA2-F248-11E8-B48F-1D18A9856A87
  last_name: Wagner
  orcid: 0000-0002-1494-0568
citation:
  ama: 'Mabillard I, Wagner U. Eliminating Tverberg points, I. An analogue of the
    Whitney trick. In: <i>Proceedings of the Annual Symposium on Computational Geometry</i>.
    ACM; 2014:171-180. doi:<a href="https://doi.org/10.1145/2582112.2582134">10.1145/2582112.2582134</a>'
  apa: 'Mabillard, I., &#38; Wagner, U. (2014). Eliminating Tverberg points, I. An
    analogue of the Whitney trick. In <i>Proceedings of the Annual Symposium on Computational
    Geometry</i> (pp. 171–180). Kyoto, Japan: ACM. <a href="https://doi.org/10.1145/2582112.2582134">https://doi.org/10.1145/2582112.2582134</a>'
  chicago: Mabillard, Isaac, and Uli Wagner. “Eliminating Tverberg Points, I. An Analogue
    of the Whitney Trick.” In <i>Proceedings of the Annual Symposium on Computational
    Geometry</i>, 171–80. ACM, 2014. <a href="https://doi.org/10.1145/2582112.2582134">https://doi.org/10.1145/2582112.2582134</a>.
  ieee: I. Mabillard and U. Wagner, “Eliminating Tverberg points, I. An analogue of
    the Whitney trick,” in <i>Proceedings of the Annual Symposium on Computational
    Geometry</i>, Kyoto, Japan, 2014, pp. 171–180.
  ista: 'Mabillard I, Wagner U. 2014. Eliminating Tverberg points, I. An analogue
    of the Whitney trick. Proceedings of the Annual Symposium on Computational Geometry.
    SoCG: Symposium on Computational Geometry, 171–180.'
  mla: Mabillard, Isaac, and Uli Wagner. “Eliminating Tverberg Points, I. An Analogue
    of the Whitney Trick.” <i>Proceedings of the Annual Symposium on Computational
    Geometry</i>, ACM, 2014, pp. 171–80, doi:<a href="https://doi.org/10.1145/2582112.2582134">10.1145/2582112.2582134</a>.
  short: I. Mabillard, U. Wagner, in:, Proceedings of the Annual Symposium on Computational
    Geometry, ACM, 2014, pp. 171–180.
conference:
  end_date: 2014-06-11
  location: Kyoto, Japan
  name: 'SoCG: Symposium on Computational Geometry'
  start_date: 2014-06-08
corr_author: '1'
date_created: 2018-12-11T11:56:03Z
date_published: 2014-06-08T00:00:00Z
date_updated: 2026-07-29T11:26:06Z
day: '08'
ddc:
- '510'
department:
- _id: UlWa
doi: 10.1145/2582112.2582134
file:
- access_level: open_access
  checksum: 2aae223fee8ffeaf57bbabd8d92b6a2c
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:09:12Z
  date_updated: 2020-07-14T12:45:30Z
  file_id: '4735'
  file_name: IST-2016-534-v1+1_Eliminating_Tverberg_points_I._An_analogue_of_the_Whitney_trick.pdf
  file_size: 914396
  relation: main_file
file_date_updated: 2020-07-14T12:45:30Z
fulldoi: https://doi.org/10.1145/2582112.2582134
has_accepted_license: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Submitted Version
page: 171 - 180
publication: Proceedings of the Annual Symposium on Computational Geometry
publication_status: published
publisher: ACM
publist_id: '4847'
pubrep_id: '534'
quality_controlled: '1'
related_material:
  record:
  - id: '1123'
    relation: dissertation_contains
    status: public
scopus_import: 1
status: public
title: Eliminating Tverberg points, I. An analogue of the Whitney trick
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
year: '2014'
...
---
_id: '2244'
abstract:
- lang: eng
  text: 'We consider two systems (α1,...,αm) and (β1,...,βn) of curves drawn on a
    compact two-dimensional surface ℳ with boundary. Each αi and each βj is either
    an arc meeting the boundary of ℳ at its two endpoints, or a closed curve. The
    αi are pairwise disjoint except for possibly sharing endpoints, and similarly
    for the βj. We want to &quot;untangle&quot; the βj from the αi by a self-homeomorphism
    of ℳ; more precisely, we seek an homeomorphism φ: ℳ → ℳ fixing the boundary of
    ℳ pointwise such that the total number of crossings of the αi with the φ(βj) is
    as small as possible. This problem is motivated by an application in the algorithmic
    theory of embeddings and 3-manifolds. We prove that if ℳ is planar, i.e., a sphere
    with h ≥ 0 boundary components (&quot;holes&quot;), then O(mn) crossings can be
    achieved (independently of h), which is asymptotically tight, as an easy lower
    bound shows. In general, for an arbitrary (orientable or nonorientable) surface
    ℳ with h holes and of (orientable or nonorientable) genus g ≥ 0, we obtain an
    O((m + n)4) upper bound, again independent of h and g. '
acknowledgement: We would like to thank the authors of [GHR13] for mak- ing a draft
  of their paper available to us, and, in particular, T. Huynh for an e-mail correspondence.
alternative_title:
- LNCS
arxiv: 1
author:
- first_name: Jiří
  full_name: Matoušek, Jiří
  last_name: Matoušek
- first_name: Eric
  full_name: Sedgwick, Eric
  last_name: Sedgwick
- first_name: Martin
  full_name: Tancer, Martin
  id: 38AC689C-F248-11E8-B48F-1D18A9856A87
  last_name: Tancer
  orcid: 0000-0002-1191-6714
- first_name: Uli
  full_name: Wagner, Uli
  id: 36690CA2-F248-11E8-B48F-1D18A9856A87
  last_name: Wagner
  orcid: 0000-0002-1494-0568
citation:
  ama: Matoušek J, Sedgwick E, Tancer M, Wagner U. Untangling two systems of noncrossing
    curves. 2013;8242:472-483. doi:<a href="https://doi.org/10.1007/978-3-319-03841-4_41">10.1007/978-3-319-03841-4_41</a>
  apa: 'Matoušek, J., Sedgwick, E., Tancer, M., &#38; Wagner, U. (2013). Untangling
    two systems of noncrossing curves. Presented at the GD: Graph Drawing and Network
    Visualization, Bordeaux, France: Springer. <a href="https://doi.org/10.1007/978-3-319-03841-4_41">https://doi.org/10.1007/978-3-319-03841-4_41</a>'
  chicago: Matoušek, Jiří, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Untangling
    Two Systems of Noncrossing Curves.” Lecture Notes in Computer Science. Springer,
    2013. <a href="https://doi.org/10.1007/978-3-319-03841-4_41">https://doi.org/10.1007/978-3-319-03841-4_41</a>.
  ieee: J. Matoušek, E. Sedgwick, M. Tancer, and U. Wagner, “Untangling two systems
    of noncrossing curves,” vol. 8242. Springer, pp. 472–483, 2013.
  ista: Matoušek J, Sedgwick E, Tancer M, Wagner U. 2013. Untangling two systems of
    noncrossing curves. 8242, 472–483.
  mla: Matoušek, Jiří, et al. <i>Untangling Two Systems of Noncrossing Curves</i>.
    Vol. 8242, Springer, 2013, pp. 472–83, doi:<a href="https://doi.org/10.1007/978-3-319-03841-4_41">10.1007/978-3-319-03841-4_41</a>.
  short: J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, 8242 (2013) 472–483.
conference:
  end_date: 2013-09-25
  location: Bordeaux, France
  name: 'GD: Graph Drawing and Network Visualization'
  start_date: 2013-09-23
date_created: 2018-12-11T11:56:32Z
date_published: 2013-09-01T00:00:00Z
date_updated: 2025-09-18T14:27:53Z
day: '01'
department:
- _id: UlWa
doi: 10.1007/978-3-319-03841-4_41
external_id:
  arxiv:
  - '1302.6475'
fulldoi: https://doi.org/10.1007/978-3-319-03841-4_41
intvolume: '      8242'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1302.6475
month: '09'
oa: 1
oa_version: Preprint
page: 472 - 483
project:
- _id: 25FA3206-B435-11E9-9278-68D0E5697425
  grant_number: PP00P2_138948
  name: 'Embeddings in Higher Dimensions: Algorithms and Combinatorics'
publication_status: published
publisher: Springer
publist_id: '4707'
quality_controlled: '1'
related_material:
  record:
  - id: '1411'
    relation: later_version
    status: public
scopus_import: 1
series_title: Lecture Notes in Computer Science
status: public
title: Untangling two systems of noncrossing curves
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8242
year: '2013'
...
---
_id: '2807'
abstract:
- lang: eng
  text: 'We consider several basic problems of algebraic topology, with connections
    to combinatorial and geometric questions, from the point of view of computational
    complexity. The extension problem asks, given topological spaces X; Y , a subspace
    A ⊆ X, and a (continuous) map f : A → Y , whether f can be extended to a map X
    → Y . For computational purposes, we assume that X and Y are represented as finite
    simplicial complexes, A is a subcomplex of X, and f is given as a simplicial map.
    In this generality the problem is undecidable, as follows from Novikov''s result
    from the 1950s on uncomputability of the fundamental group π1(Y ). We thus study
    the problem under the assumption that, for some k ≥ 2, Y is (k - 1)-connected;
    informally, this means that Y has \no holes up to dimension k-1&quot; (a basic
    example of such a Y is the sphere Sk). We prove that, on the one hand, this problem
    is still undecidable for dimX = 2k. On the other hand, for every fixed k ≥ 2,
    we obtain an algorithm that solves the extension problem in polynomial time assuming
    Y (k - 1)-connected and dimX ≤ 2k - 1. For dimX ≤ 2k - 2, the algorithm also provides
    a classification of all extensions up to homotopy (continuous deformation). This
    relies on results of our SODA 2012 paper, and the main new ingredient is a machinery
    of objects with polynomial-time homology, which is a polynomial-time analog of
    objects with effective homology developed earlier by Sergeraert et al. We also
    consider the computation of the higher homotopy groups πk(Y ), k ≥ 2, for a 1-connected
    Y . Their computability was established by Brown in 1957; we show that πk(Y )
    can be computed in polynomial time for every fixed k ≥ 2. On the other hand, Anick
    proved in 1989 that computing πk(Y ) is #P-hard if k is a part of input, where
    Y is a cell complex with certain rather compact encoding. We strengthen his result
    to #P-hardness for Y given as a simplicial complex. '
author:
- first_name: Martin
  full_name: Čadek, Martin
  last_name: Čadek
- first_name: Marek
  full_name: Krcál, Marek
  id: 33E21118-F248-11E8-B48F-1D18A9856A87
  last_name: Krcál
- first_name: Jiří
  full_name: Matoušek, Jiří
  last_name: Matoušek
- first_name: Lukáš
  full_name: Vokřínek, Lukáš
  last_name: Vokřínek
- first_name: Uli
  full_name: Wagner, Uli
  id: 36690CA2-F248-11E8-B48F-1D18A9856A87
  last_name: Wagner
  orcid: 0000-0002-1494-0568
citation:
  ama: 'Čadek M, Krcál M, Matoušek J, Vokřínek L, Wagner U. Extending continuous maps:
    Polynomiality and undecidability. In: <i>45th Annual ACM Symposium on Theory of
    Computing</i>. ACM; 2013:595-604. doi:<a href="https://doi.org/10.1145/2488608.2488683">10.1145/2488608.2488683</a>'
  apa: 'Čadek, M., Krcál, M., Matoušek, J., Vokřínek, L., &#38; Wagner, U. (2013).
    Extending continuous maps: Polynomiality and undecidability. In <i>45th Annual
    ACM Symposium on theory of computing</i> (pp. 595–604). Palo Alto, CA, United
    States: ACM. <a href="https://doi.org/10.1145/2488608.2488683">https://doi.org/10.1145/2488608.2488683</a>'
  chicago: 'Čadek, Martin, Marek Krcál, Jiří Matoušek, Lukáš Vokřínek, and Uli Wagner.
    “Extending Continuous Maps: Polynomiality and Undecidability.” In <i>45th Annual
    ACM Symposium on Theory of Computing</i>, 595–604. ACM, 2013. <a href="https://doi.org/10.1145/2488608.2488683">https://doi.org/10.1145/2488608.2488683</a>.'
  ieee: 'M. Čadek, M. Krcál, J. Matoušek, L. Vokřínek, and U. Wagner, “Extending continuous
    maps: Polynomiality and undecidability,” in <i>45th Annual ACM Symposium on theory
    of computing</i>, Palo Alto, CA, United States, 2013, pp. 595–604.'
  ista: 'Č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.'
  mla: 'Čadek, Martin, et al. “Extending Continuous Maps: Polynomiality and Undecidability.”
    <i>45th Annual ACM Symposium on Theory of Computing</i>, ACM, 2013, pp. 595–604,
    doi:<a href="https://doi.org/10.1145/2488608.2488683">10.1145/2488608.2488683</a>.'
  short: M. Čadek, M. Krcál, J. Matoušek, L. Vokřínek, U. Wagner, in:, 45th Annual
    ACM Symposium on Theory of Computing, ACM, 2013, pp. 595–604.
conference:
  end_date: 2013-06-04
  location: Palo Alto, CA, United States
  name: 'STOC: Symposium on the Theory of Computing'
  start_date: 2013-06-01
date_created: 2018-12-11T11:59:42Z
date_published: 2013-06-01T00:00:00Z
date_updated: 2021-01-12T06:59:51Z
day: '01'
ddc:
- '510'
department:
- _id: UlWa
- _id: HeEd
doi: 10.1145/2488608.2488683
file:
- access_level: open_access
  checksum: 06c2ce5c1135fbc1f71ca15eeb242dcf
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:14:29Z
  date_updated: 2020-07-14T12:45:48Z
  file_id: '5081'
  file_name: IST-2016-533-v1+1_Extending_continuous_maps_polynomiality_and_undecidability.pdf
  file_size: 447945
  relation: main_file
file_date_updated: 2020-07-14T12:45:48Z
fulldoi: https://doi.org/10.1145/2488608.2488683
has_accepted_license: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Submitted Version
page: 595 - 604
publication: 45th Annual ACM Symposium on theory of computing
publication_status: published
publisher: ACM
publist_id: '4078'
pubrep_id: '533'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Extending continuous maps: Polynomiality and undecidability'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2013'
...
