TY  - RPRT
TI  - Positivstellensätze for polynomial matrices with universal quantifiers
AU  - Feng Guo
AU  - Jie Wang
PY  - 2026
UR  - https://arxiv.org/abs/2501.03470
ID  - 2501.03470
ER  -