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

  title={Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems},
  author={Yinghua Chen and Bican Xia and Lu Yang and Naijun Zhan and Chaochen Zhou},
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. keywords: Program Verification, Loop Termination, Ranking Function, Polynomial Programs, Semi-Algebraic Systems, Computer Algebra, DISCOVERER, QEPCAD 
Highly Cited
This paper has 53 citations. REVIEW CITATIONS
33 Citations
26 References
Similar Papers


Publications citing this paper.

54 Citations

Citations per Year
Semantic Scholar estimates that this publication has 54 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…