Computing semi-algebraic invariants for polynomial dynamical systems.

Jiang Liu, Naijun Zhan, Hengjun Zhao

Browse the full EMSOFT paper archive.