Validated Numerical Newton-Puiseux Algorithm. | AMiner