TY - RPRT TI - Detecting rigid convexity of bivariate polynomials AU - Didier Henrion PY - 2008 UR - https://arxiv.org/abs/0801.3592 ID - 0801.3592 ER -