Abstract FR:

Givaro est une bibliotheque c++ de calcul formel parallele pour machine a memoire distribuee basee sur la bibliotheque d'expression du parallelisme athapascan. Dans une premiere partie de ce memoire, nous developpons les objectifs et les outils necessaires a la conception d'une bibliotheque de calcul formel pour machine parallele. Le choix d'un modele de programmation parallele permet de cerner les schemas d'algorithme parallele qui peuvent etre executes efficacement. Nous appliquons ce principe au traitement des algorithmes irreguliers, apres avoir propose une definition de cette notion. Dans une seconde partie, nous etudions la complexite parallele du calcul avec des nombres algebriques dans une representation du type de d5. Nous donnons un nouvel algorithme rapide de calcul d'une bases sans pgcd de polynomes permettant d'ameliorer la meilleure complexite parallele connue. Nous proposons alors certains choix de programmation sur une machine parallele reelle et presentons notre implementation. Quelques experimentations illustrent le fonctionnement de notre bibliotheque