Formalization of a Newton Series Representation of Polynomials - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Formalization of a Newton Series Representation of Polynomials

Cyril Cohen
Boris Djalal

Résumé

We formalize an algorithm to change the representation of a polynomial to a Newton power series. This provides a way to compute efficiently polynomials whose roots are the sums or products of roots of other polynomials, and hence provides a base component of efficient computation for algebraic numbers. In order to achieve this, we formalize a notion of truncated power series and develop an abstract theory of poles of fractions.
Fichier principal
Vignette du fichier
main.pdf (229.83 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01240469 , version 1 (10-12-2015)

Licence

Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-01240469 , version 1

Citer

Cyril Cohen, Boris Djalal. Formalization of a Newton Series Representation of Polynomials. Certified Programs and Proofs, Jan 2016, St. Petersburg, Florida, United States. ⟨hal-01240469⟩
232 Consultations
611 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More