19 citations · 50 across the 7 of their papers we have counts for
1 paper · 1 filter
Bassel Mannaa, Thierry Coquand
A constructive version of Newton-Puiseux theorem for computing the Puiseux expansions of algebraic curves is presented. The proof is based on a classical proof by Abhyankar. Algebr…