TY  - RPRT
TI  - Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
AU  - Weifeng Shang
AU  - Jose Abel Castellanos Joo
AU  - Chenqi Mou
AU  - Deepak Kapur
PY  - 2025
UR  - https://arxiv.org/abs/2503.11119
ID  - 2503.11119
ER  -