Calcul formel et parallélisme : l'architecture du système PAC et son arithmétique rationnelle. (Computer algebra and parallelism: pac system architecture and rationnal arithmetic)

Pac est un systeme de calcul formel dedie a une machine Mind massivement parallele. Dans une premiere partie, l'architecture du systeme est decrite. Elle est illustree par une modelisation theorique et pratique de la parallelisation du produit de deux polynomes. Le systeme Pac est implante sur la machine t40 de Fps (32 processeurs). Dans une deuxieme partie, l'arithmetique nodale en precision infinie sur les rationnels est etudiee. Differents algorithmes sont degages, notamment pour la multiplication, la division et le pgcd d'entiers de taille quelconque. Une vectorisation de l'arithmetique de base est discutee et experimentee