Representing Matroids over the Reals is $\exists \mathbb{R}$-complete

Eun Jung Kim, Arnaud de Mesmay, Tillmann Miltzow

A matroid $M$ is an ordered pair $(E,I)$, where $E$ is a finite set called the ground set and a collection $I\subset 2^E$ called the independent sets which satisfy the conditions…