Formalization of a Newton Series Representation of Polynomials

Cyril Cohen 1 Boris Djalal 1
1 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : 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.
Type de document :
Communication dans un congrès
Jeremy Avigad and Adam Chlipala. Certified Programs and Proofs, Jan 2016, St. Petersburg, Florida, United States. Certified Programs and Proofs, 2016
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01240469
Contributeur : Boris Djalal <>
Soumis le : jeudi 10 décembre 2015 - 08:39:38
Dernière modification le : vendredi 27 avril 2018 - 14:30:01
Document(s) archivé(s) le : vendredi 11 mars 2016 - 11:35:10

Fichiers

main.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-01240469, version 1

Collections

Citation

Cyril Cohen, Boris Djalal. Formalization of a Newton Series Representation of Polynomials. Jeremy Avigad and Adam Chlipala. Certified Programs and Proofs, Jan 2016, St. Petersburg, Florida, United States. Certified Programs and Proofs, 2016. 〈hal-01240469〉

Partager

Métriques

Consultations de la notice

237

Téléchargements de fichiers

258