Dynamic Newton-Puiseux theorem

DOI10.4115/JLA.2013.5.5zbMATH Open1345.03115arXiv1304.6770OpenAlexW2081356818MaRDI QIDQ2930867FDOQ2930867

Authors: Bassel Mannaa, Thierry Coquand 

Publication date: 20 November 2014

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Abstract: 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.

Full work available at URL: https://arxiv.org/abs/1304.6770

Recommendations

• Publication:3476962
• Computing Puiseux series: a fast divide and conquer algorithm
• scientific article; zbMATH DE number 5154
• scientific article; zbMATH DE number 953020
• scientific article; zbMATH DE number 4037047

zbMATH Keywords

algebraic curvePuiseux expansionconstructive algebra

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Other constructive mathematics (03F65) Computational aspects of algebraic curves (14Q05)

Cited In (5)

• A Dynamic Taylor’s law
• Good reduction of Puiseux series and applications
• On the extended Hensel construction and its application to the computation of real limit points
• Title not available (Why is that?)
• Constructive sheaf models of type theory

This page was built for publication: Dynamic Newton-Puiseux theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2930867)