TY - RPRT TI - Certified numerical homotopy tracking AU - Carlos Beltrán AU - Anton Leykin PY - 2010 UR - https://arxiv.org/abs/0912.0920 ID - 0912.0920 ER -