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

Documenti analoghi

• Devil's Games and $\text{Q}\mathbb{R}$: Continuous Games complete for the First-Order Theory of the Reals
  di: Meijer, Lucas, et al.
  Pubblicazione: (2025)
• Beyond Bits: An Introduction to Computation over the Reals
  di: Miltzow, Tillmann
  Pubblicazione: (2026)
• Framework for $\exists \mathbb{R}$-Completeness of Two-Dimensional Packing Problems
  di: Abrahamsen, Mikkel, et al.
  Pubblicazione: (2020)
• Training Fully Connected Neural Networks is $\exists\mathbb{R}$-Complete
  di: Bertschinger, Daniel, et al.
  Pubblicazione: (2022)
• On Degeneracy in the P-Matroid Oriented Matroid Complementarity Problem
  di: Borzechowski, Michaela, et al.
  Pubblicazione: (2023)