TY  - RPRT
TI  - Solving Stengle's Example in Rational Arithmetic: Exact Values of the Moment-SOS Relaxations
AU  - Didier Henrion
PY  - 2025
UR  - https://arxiv.org/abs/2512.19141
ID  - 2512.19141
ER  -