Communication Dans Un Congrès Année : 2016

Formalization of a Newton Series Representation of Polynomials

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)
Licence
Loading...

Dates et versions

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

Licence

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⟩
430 Consultations
1115 Téléchargements

Partager

  • More