Algorithmes Efficaces en Calcul Formel - MATHEXP

... mot machine, typiquement 32 ou 64). Ils sont ... Julia Robinson (1961). « The decision pro- blem ... Exercice 2.1 Montrer que, pour multiplier deux polynômes ...