TY - RPRT TI - alphaCertified: certifying solutions to polynomial systems AU - Jonathan D. Hauenstein AU - Frank Sottile PY - 2011 UR - https://arxiv.org/abs/1011.1091 ID - 1011.1091 ER -