Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis. - Kensuke Kojima; Minoru Kinoshita; Kohei Suenaga (Theor. Comput. Sci., 2018)