We show that completeness at higher levels of the theory of the reals is...
For every n, we construct two curves in the plane that intersect at leas...
A RAC-drawing of a graph is a straight-line drawing in which every cross...
If a graph can be drawn on the torus so that every two independent edges...
We give a short and self-contained proof of Levi's Extension Lemma for
p...
We show that determining the crossing number of a link is NP-hard. For s...