Key points are not available for this paper at this time.
Altran est un système complet pour le calcul symbolique avec des fonctions rationnelles à plusieurs variables avec des coefficients entiers. Il a été conçu et mis en œuvre pour gérer de grands problèmes avec facilité et efficacité. Un effort considérable a été consacré à garantir une dépendance minimale à la machine dans l'implémentation, permettant ainsi au système d'être installé rapidement et facilement sur une variété de machines informatiques. Dans cet article, une brève description du langage, des structures de données à l'exécution et de l'implémentation est donnée.
Andrew D. Hall (Sun,) a étudié cette question.