TY  - RPRT
TI  - Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
AU  - Hao Wu
AU  - Qiuye Wang
AU  - Bai Xue
AU  - Naijun Zhan
AU  - Lihong Zhi
AU  - Zhihong Yang
PY  - 2024
UR  - https://arxiv.org/abs/2310.11133
ID  - 2310.11133
ER  -