GMP (GNU Multiple Precision library) est une bibliothèque spécialisée en arithmétique multiprécision, et distribuée sous licence LGPL. Elle est utilisée par GIAC et, optionnellement, par NTL.
Mpfr est une bibliothèque spécialisée en flottants multiprécision avec arrondi exact, écrite par Paul Zimmermann et distribuée sous licence LGPL. C'est une brique de base, qui peut servir à bâtir un SCF (Système de Calcul Formel). Le site de Mpfr est www.mpfr.org.
Une interface pour Mpfr, MPFI a été créée par Nathalie Revol.
NTL est une librairie en C++ portable qui fournit des structures de données et des algorithmes pour manipuler des entiers signés de longueur arbitraire, et des vecteurs, matrices et polynômes sur les entiers et sur des champs finis.
NTL a été conçu pour effectuer très rapidement tous les calculs d'arithmétique polynômiale (les librairies et programmes de calcul formel existants sont très lents pour ce type de calcul).
Le site de NTL est : www.shoup.net/ntl, l'auteur principal est Victor Schoup.
NTL peut utiliser la librairie GMP (GNU Multiprecision Library) s'il est nécessaire d'accélérer les calculs sur les entiers longs.
Zen est une librairie adaptée aux calculs sur des anneaux et corps finis. Elle est écrite par Florent Chabaud et Reynald Lercier, et est distribuée sous licence GPL (?).
