2021-04-122013-03-017477171WOS;000312574000010SCOPUS;2-s2.0-84870249582http://hdl.handle.net/10784/27678Necessary and sufficient conditions for the existence of limits of the form lim (x,y)?(a,b)f(x, y)/g(x, y) are given, under the hypothesis that f and g are real analytic functions near the point (a, b), and g has an isolated zero at (a, b). The given criterion uses a constructive version of Hensel's Lemma which could be implemented in a computer algebra system in the case where f and g are polynomials with rational coefficients, or more generally, with coefficients in a real finite extension of the rationals. A high level description of an algorithm for determining the existence of the limit as well as its computation is provided. © 2012 Elsevier B.V.engACADEMIC PRESS LTD- ELSEVIER SCIENCE LTDHensel's LemmaLimitsPuiseux seriesReal analytic functionsarticle2021-04-12Cadavid, C.Molina, S.Velez, J. D.10.1016/j.jsc.2012.07.004