research
∙
02/27/2023
The Complexity of Recognizing Geometric Hypergraphs
As set systems, hypergraphs are omnipresent and have various representat...
share
research
∙
01/09/2023
Representing Matroids over the Reals is ∃ℝ-complete
A matroid M is an ordered pair (E,I), where E is a finite set called the...
research
∙
12/02/2022
Sometimes Two Irrational Guards are Needed
In the art gallery problem, we are given a closed polygon P, with ration...
research
∙
07/02/2019
