20 citations · 31 across the 10 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.CC2022
Beyond the Existential Theory of the Reals
Marcus Schaefer, Daniel Stefankovic
We show that completeness at higher levels of the theory of the reals is a robust notion (under changing the signature and bounding the domain of the quantifiers). This mends recog…
math.CO2022
Spiraling and Folding: The Topological View
Jan Kynčl, Marcus Schaefer, Eric Sedgwick +1
For every , we construct two curves in the plane that intersect at least times and do not form spirals. The construction is in three stages: we first exhibit closed curves o…