@misc{indiciae2b5f814e9d8f, title = {A symbolic algorithm for exact polynomial optimization strengthened with Fritz John conditions}, author = {Ngoc Hoang Anh Mai}, year = {2022}, url = {https://arxiv.org/abs/2206.02643}, note = {Source identifier: 2206.02643} }