TY - RPRT TI - Certifying solutions to square systems of polynomial-exponential equations AU - Jonathan D. Hauenstein AU - Viktor Levandovskyy PY - 2016 UR - https://arxiv.org/abs/1109.4547 ID - 1109.4547 ER -