Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Dynamic Newton-Puiseux th… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Dynamic Newton-Puiseux theorem

Artikel i vetenskaplig tidskrift
Författare Bassel Mannaa
Thierry Coquand
Publicerad i Journal of Logic and Analysis
Volym 5
Sidor (5:5) 1–22
ISSN 1759-9008
Publiceringsår 2013
Publicerad vid Institutionen för data- och informationsteknik, datavetenskap, programmeringslogik (GU)
Institutionen för data- och informationsteknik (GU)
Sidor (5:5) 1–22
Språk en
Länkar dx.doi.org/10.4115/jla.2013.5.5
Ämnesord Constructive algebra, Algebraic curves, Puiseux expansions
Ämneskategorier Algebra och geometri, Beräkningsmatematik

Sammanfattning

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.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?