卡达维，C。;莫利纳，S。;J·D·Vélez。 二元实解析函数的商极限。 （英语） 兹比尔1263.68176 J.塞姆。计算。 50, 197-207 (2013). 摘要：形式极限存在的充分必要条件\[\lim{（x，y）\到（a，b）}f（x，y）/g（x、y）\]假设（f）和（g）是点附近的实解析函数，并且（g）在（a，b）处有一个孤立零点。给定的准则使用了Hensel引理的构造性版本，该引理可以在计算机代数系统中实现，其中\（f）和\（g）是有理系数的多项式，或者更一般地说，是有理数的实有限扩张中的系数。给出了确定极限存在性的算法及其计算的高级描述。 引用于2评论引用于4文件 MSC公司： 68瓦30 符号计算和代数计算 2005年2月26日 实分析函数 26-04 与实际功能有关的问题的软件、源代码等 关键词：限制;实解析函数;Puiseux系列;亨塞尔引理 软件：枫树 PDF格式BibTeX公司 XML格式引用 \textit{C.Cadavid}等人，J.Symb。计算。50197-207（2013；Zbl 1263.68176） 全文： 内政部