Computing semi-algebraic invariants for polynomial dynamical systems

Jiang Liu 0009, Naijun Zhan, Hengjun Zhao. Computing semi-algebraic invariants for polynomial dynamical systems. In Samarjit Chakraborty, Ahmed Jerraya, Sanjoy K. Baruah, Sebastian Fischmeister, editors, Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011. pages 97-106, ACM, 2011. [doi]

@inproceedings{LiuZZ11-3,
  title = {Computing semi-algebraic invariants for polynomial dynamical systems},
  author = {Jiang Liu 0009 and Naijun Zhan and Hengjun Zhao},
  year = {2011},
  doi = {10.1145/2038642.2038659},
  url = {http://doi.acm.org/10.1145/2038642.2038659},
  researchr = {https://researchr.org/publication/LiuZZ11-3},
  cites = {0},
  citedby = {0},
  pages = {97-106},
  booktitle = {Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011},
  editor = {Samarjit Chakraborty and Ahmed Jerraya and Sanjoy K. Baruah and Sebastian Fischmeister},
  publisher = {ACM},
  isbn = {978-1-4503-0714-7},
}