Précédent : Motivations et objectifs Remonter : Algorithmique et applications Suivant : Algèbre linéaire sur des structures
Précédent : Motivations et objectifs Remonter :
Algorithmique et applications Suivant :
Algèbre
linéaire sur des structures
Ce travail se fait en liaison avec le projet Imag ACTE (laboratoire LMC).
L'implantation parallèle d'algorithmes du calcul formel dans la bibliothèque GIVARO a permis de tester sur des applications conséquentes la validité et les performances du noyau exécutif ATHAPASCAN-0 et a été motrice dans la spécification de l'interface applicative ATHAPASCAN-1 . Ce travail a abouti à la construction d'algorithmes parallèles originaux pour manipuler les nombres algébriques dont l'implémentation parallèle effective est pionnière dans ce domaine. Cette approche doit maintenant être complétée afin d'intégrer des techniques de factorisation de polynômes et d'approximation numérique des racines à précision fixée afin d'alléger le surcoût induit par les calculs symboliques tout en garantissant la qualité des résultats.