On the Extended Hensel Construction and its application to the computation of real limit points

Parisa Alvandi, Masoud Ataei, Mahsa Kazemi, Marc Moreno Maza. On the Extended Hensel Construction and its application to the computation of real limit points. Journal of Symbolic Computation, 98:120-162, 2020. [doi]

Abstract

Abstract is missing.