We survey the complexity class $\exists\mathbb {R} $, which captures the complexity of
deciding the existential theory of the reals. The class $\exists\mathbb {R} $ has roots in two …