Bernina Bernina est une interface interactive à la bibliothèque Sum^it qui fournit des calculs efficaces sur les opérateurs dans Q[x,d/dx] ou Q(x)[d/dx]. Shasta Shasta est une interface interactive à la bibliothèque Sum^it qui fournit des calculs efficaces sur les opérateurs aux différences finies à coefficients dans Q[n] ou Q(n). Libaldor Libaldor (ex-Salli) est la nouvelle bibliothèque standard du compilateur Aldor. Elle fournit les types arithmétiques et les structures de données de base pour la programmation en Aldor. Algebra Algebra est une bibliothèque générale de calcul formel en Aldor. Elle fournit les primitives de l'algèbre commutative telles que les polynômes,' séries et matrices. Sum^it Sum^it est une bibliothèque dédiée de calcul formel qui fournit des implémentations efficaces et réutilisables d'algorithmes de résolution' d'équations linéaires différentielles et aux' différences. diffalg diffalg est une bibliothèque Maple pour traiter les systèmes différentiels polynomiaux. Les principales fonctionnalités sont l'élimination différentielle et' l'analyse des solutions singulières. Voir également' du coté de Lille.