TY  - RPRT
TI  - Effective certification of approximate solutions to systems of equations involving analytic functions
AU  - Michael Burr
AU  - Kisun Lee
AU  - Anton Leykin
PY  - 2019
UR  - https://arxiv.org/abs/1901.10384
ID  - 1901.10384
ER  -