TY  - RPRT
TI  - Computing rational points in convex semi-algebraic sets and SOS decompositions
AU  - Mohab Safey El Din
AU  - Lihong Zhi
PY  - 2009
UR  - https://arxiv.org/abs/0910.2973
ID  - 0910.2973
ER  -