Login / Signup

Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis.

Kensuke KojimaMinoru KinoshitaKohei Suenaga
Published in: Theor. Comput. Sci. (2018)
Keyphrases