Certification of Polynomial Middle Product - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Pré-Publication, Document De Travail Année : 2017

Certification of Polynomial Middle Product

Pascal Giorgi

Résumé

Polynomial multiplication and its variants are a key ingredient in effective computer algebra. While certifying a polynomial product is a well known task, it was not yet clear how to do a similar approach for its middle product variant. In this short note, we present a new algorithm that provides such a certification with the same complexity and probability that polynomial multiplication certification. Furthermore, we extend our algorithm to certify any operations that compute only a certain chunk of the product.
Fichier principal
Vignette du fichier
giorgi.pdf (267.77 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

lirmm-01538453 , version 1 (13-06-2017)
lirmm-01538453 , version 2 (13-09-2018)

Identifiants

  • HAL Id : lirmm-01538453 , version 1

Citer

Pascal Giorgi. Certification of Polynomial Middle Product. 2017. ⟨lirmm-01538453v1⟩
282 Consultations
570 Téléchargements

Partager

More