Effective Certification of Approximate Solutions to Systems of Equations Involving Analytic Functions.

Michael A. Burr, Kisun Lee, Anton Leykin

Browse the full ISSAC paper archive.