https://123dok.net/document/y6epw55z-detecting-rigid-convexity-of-bivariate-polynomials.html