Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems

Abstract. Differing from [6] this paper reduces non-linear ranking function discovering for polynomial programs to semi-algebraic system solving, and demonstrates how to apply the symbolic computation tools, DISCOVERER and QEPCAD, to some interesting examples.

• Type: Conference
• Year: 2007
• Where: ICTAC
• Authors: Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou
• Keywords: ICTAC 2007, Non-linear Ranking Function, Polynomial Programs, Symbolic Computation Tools