TY - RPRT TI - Numerically validating the completeness of the real solution set of a system of polynomial equations AU - Daniel A. Brake AU - Jonathan D. Hauenstein AU - Alan C. Liddell PY - 2016 UR - https://arxiv.org/abs/1602.00700 ID - 1602.00700 ER -