Representing Matroids over the Reals is ∃ℝ-complete

Eun Jung Kim 0002, Arnaud de Mesmay, Tillmann Miltzow. Representing Matroids over the Reals is ∃ℝ-complete. Discrete Mathematics & Theoretical Computer Science, 26(2), 2024. [doi]

Abstract

Abstract is missing.