Experiments and Maple code for
@Misc{KLYZ09,
author = "Erich Kaltofen and Bin Li and Zhengfeng Yang and Lihong Zhi",
title = "Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients",
howpublished = "Manuscript",
year = "2009",
note = "20 pages. Submitted",
}