Dynamic Newton–Puiseux theorem

DOI10.4115/jla.2013.5.5zbMath1345.03115arXiv1304.6770OpenAlexW2081356818MaRDI QIDQ2930867

Thierry Coquand, Bassel Mannaa

Publication date: 20 November 2014

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

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

zbMATH Keywords

algebraic curvePuiseux expansionconstructive algebra

Mathematics Subject Classification ID

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

Related Items (2)

Constructive sheaf models of type theory ⋮ On the extended Hensel construction and its application to the computation of real limit points

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