36 citations · 143 across the 40 of their papers we have counts for
1 paper · 2 filters
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…