@article {GrGuSaZh12, AUTHOR = {Greuet, Aur{\'e}lien and Guo, Feng and Safey El Din, Mohab and Zhi, Lihong}, TITLE = {Global optimization of polynomials restricted to a smooth variety using sums of squares}, JOURNAL = {J. Symbolic Comput.}, FJOURNAL = {Journal of Symbolic Computation}, VOLUME = {47}, YEAR = {2012}, NUMBER = {5}, PAGES = {503--518}, ISSN = {0747-7171}, MRCLASS = {13Jxx (14Pxx 68W30)}, MRNUMBER = {2908577}, DOI = {10.1016/j.jsc.2011.12.003}, URL = {http://dx.doi.org/10.1016/j.jsc.2011.12.003}, }