Tag - Existential Theory of the Reals

Is Area-Universality UETR-complete? Wed, Nov 15, 2017 12:00 CET

Speakers: Till Miltzow

The Art Gallery Problem is $\exists \mathbb{R}$-complete Wed, May 17, 2017 12:30 CEST

Speakers: Till Miltzow

Recognizing visibility graphs of polygons with holes is hard for the existential theory of the reals Wed, Nov 9, 2016 12:30 CET

Speakers: Udo Hoffmann