TY  - RPRT
TI  - A symbolic algorithm for exact polynomial optimization strengthened with Fritz John conditions
AU  - Ngoc Hoang Anh Mai
PY  - 2022
UR  - https://arxiv.org/abs/2206.02643
ID  - 2206.02643
ER  -