TY - RPRT TI - Classifying Linear Matrix Inequalities via Abstract Operator Systems AU - Martin Berger AU - Tom Drescher AU - Tim Netzer PY - 2023 UR - https://arxiv.org/abs/2301.11054 ID - 2301.11054 ER -