Hilbert ascending chains

On Termination of Polynomial Programs with Equality Conditions
We investigate the termination problem of a family of multi-path polynomial programs (MPPs) over a general field $\mathbb{K}$, in which …
Cite Code
On Termination of Polynomial Programs with Equality Conditions