research
∙
10/02/2022
Beyond the Existential Theory of the Reals
We show that completeness at higher levels of the theory of the reals is...
share
research
∙
06/15/2022
Spiraling and Folding: The Topological View
For every n, we construct two curves in the plane that intersect at leas...
research
∙
07/24/2021
RAC-drawability is ∃ℝ-complete
A RAC-drawing of a graph is a straight-line drawing in which every cross...
research
∙
09/01/2020
Strong Hanani-Tutte for the Torus
If a graph can be drawn on the torus so that every two independent edges...
research
∙
10/11/2019
A Proof of Levi's Extension Lemma
We give a short and self-contained proof of Levi's Extension Lemma for p...
research
∙
08/12/2019
