Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients

Erich Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi. Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients. Journal of Symbolic Computation, 47(1):1-15, 2012. [doi]

@article{KaltofenLYZ12,
  title = {Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients},
  author = {Erich Kaltofen and Bin Li and Zhengfeng Yang and Lihong Zhi},
  year = {2012},
  doi = {10.1016/j.jsc.2011.08.002},
  url = {http://dx.doi.org/10.1016/j.jsc.2011.08.002},
  researchr = {https://researchr.org/publication/KaltofenLYZ12},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Computation},
  volume = {47},
  number = {1},
  pages = {1-15},
}