Rational Univariate Representation and Its Application in Optimization Problem
有理单变元表示在优化问题上的应用

Based on rational univariate representation, an algorithm to verify the polynomial positive definiteness on a finite number of points is presented. Also, a pure algebraic method is given to obtain the optimum value of a objective function with zero-dimensional constraints. Compared with SOSTOOLS, experimental results obtained by the algebraic approach is more exact.