\input zb-basic
\input zb-ioport
\iteman{io-port 05752595}
\itemau{El Din, Mohab Safey; Zhi, Lihong}
\itemti{Computing rational points in convex semi-algebraic sets and SOS decompositions.}
\itemso{Comput. Res. Repos. 2009, Article No. 0910.2973 (2009).}
\itemcc{}
\itemut{}
\itemli{arXiv:0910.2973}
\end