Global ETD Search

1	Calcul formel et parallélisme : l'architecture du système PAC et son arithmétique rationnelle Roch, Jean-Louis 05 December 1989 (has links) (PDF) Pac est un système de calcul formel dédié a une machine Mind massivement parallèle. Dans une première partie, l'architecture du système est décrite. Elle est illustrée par une modélisation théorique et pratique de la parallélisation du produit de deux polynômes. Le système Pac est implante sur la machine t40 de Fps (32 processeurs). Dans une deuxième partie, l'arithmétique nodale en précision infinie sur les rationnels est étudiée. Différents algorithmes sont dégagés, notamment pour la multiplication, la division et le pgcd d'entiers de taille quelconque. Une vectorisation de l'arithmétique de base est discutée et expérimentée calcul formel parallélisme vectorisation arithmétique précision infinie polynômes division d'entiers pgcd d'entiers système de calcul formel