TY  - RPRT
TI  - Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis
AU  - Kensuke Kojima
AU  - Minoru Kinoshita
AU  - Kohei Suenaga
PY  - 2016
UR  - https://arxiv.org/abs/1604.07201
ID  - 1604.07201
ER  -