Journal of symbolic computation. 2012;47(1):1-15. doi: 10.1016/j.jsc.2011.08.002 Q21.12025
Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients
DOI: 10.1016/j.jsc.2011.08.002
摘要 查看摘要
