Dynamic Newton-Puiseux theorem
Journal article, 2013

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. Algebraic numbers are evaluated dynamically; hence the base field need not be algebraically closed and a factorization algorithm of polynomials over the base field is not needed. The extensions obtained are a type of regular algebras over the base field and the expansions are given as formal power series over these algebras.

Puiseux expansions

Algebraic curves

Constructive algebra

Author

Bassel Mannaa

University of Gothenburg

Thierry Coquand

University of Gothenburg

Journal of Logic and Analysis

1759-9008 (ISSN)

Vol. 5 (5:5) 1-22

Subject Categories

Mathematics

Computational Mathematics

DOI

10.4115/jla.2013.5.5

More information

Created

10/10/2017