TY - RPRT TI - Polynomial Matrix Inequalities within Tame Geometry AU - Christos Aravanis AU - Johannes Aspman AU - Georgios Korpas AU - Jakub Marecek PY - 2022 UR - https://arxiv.org/abs/2206.03941 ID - 2206.03941 ER -