Séminaire de Cryptographie

Accueil     Présentation     Archives

Guillaume Hanrot


Quelques algorithmes pour l'arithmétique des séries formelles

L'exposé présentera quelques travaux recents, communs avec Paul Zimmermann et pour partie avec Michel Quercia, qui montrent comment accélerer diverses operations arithmétiques (multiplication, division, racine carrée, carré, multiplication) sur les séries formelles. Un des ingrédients fondamentaux est un algorithme de calcul efficace du produit médian de deux polynômes : si $P = \sum_{i=0}^{2n-2} p_i x^i$ et $Q = \sum_{i=0}^{n-1} q_i x^i$ sont deux polynômes, le produit médian de $P$ et $Q$ est $\sum_{i=n-1}^{2n-2} (\sum_{j=0}^{n-1} q_j p_{i-j})x^i$.