Solving multivariate algebraic equation by Hensel construction (Q1301578)

The paper deals with calculating the roots of multivariate polynomials with respect to one of the variables involved. The roots are computed in terms of formal power series or Puiseux series in the remaining variables. The authors use the well-known methods of Newton polygon and the generalized Hensel's construction (which they modify slightly in the case the polynomial has multiple roots). First, they apply their method to a polynomial in two variables, and then they adapt is to several indeterminates. The authors state that, when dealing with symbolic resolution and algebraic numbers, their method uses less algebraic numbers to represent a root than Newton-Puiseux's method or Kung-Traub's method [see \textit{H. T. Kung} and \textit{J. F. Traub}, J. Assoc. Comput. Mach. 25, 245-260 (1978; Zbl 0371.68019)]. They also state that, when dealing with numerical approximations, the method used in this paper is more accurate than the Newton-Puiseux's one.