On Termination of Polynomial Programs with Equality Conditions

Yangjia Li, Naijun Zhan, Mingshuai Chen +3

We investigate the termination problem of a family of multi-path polynomial programs (MPPs), in which all assignments to program variables are polynomials, and test conditions of l…