@misc{indiciaea04973d08817,
  title = {Classifying Linear Matrix Inequalities via Abstract Operator Systems},
  author = {Martin Berger and Tom Drescher and Tim Netzer},
  year = {2023},
  url = {https://arxiv.org/abs/2301.11054},
  note = {Source identifier: 2301.11054}
}