| Arithmétique en précision arbitraire | GMP, MPFR, MPFI, NTL, . . . | |
| Algèbre | GAP, Maxima, Singular | |
| Géométrie algébrique | Singular, Macaulay2 (optionel) | |
| Géométrie arithmétique | PARI, NTL, mwrank, ecm, . . . | |
| Calcul symbolique | Maxima, Sympy | |
| Algèbre linéaire exacte | Linbox, IML | |
| Algèbre linéaire numérique | GSL, Scipy, Numpy | |
| Combinatoire | Symmetrica, Lrcalc, PALP, Coxeter 3 | |
| Théorie des graphes | NetworkX, graphviz (optionel) | |
| Théorie des groupes | GAP |