Logiciel destiné aux calculs formels et numériques ainsi qu'à la visualisation graphique. Bibliothèque de plus de 2500 fonctions spéciales. Algèbre linéaire, nombres complexes, théorie de graphes, bases de Grobner, géométrie plane et projective.