Michael Burr, Kisun Lee, Anton Leykin. Effective Certification of Approximate Solutions to Systems of Equations Involving Analytic Functions. In James H. Davenport, Dongming Wang, Manuel Kauers, Russell Bradford, editors, Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019. pages 267-274, ACM, 2019. [doi]
Abstract is missing.