Logiciel de mathématiques non linéaires pour des calculs de haute précision. Il permet d'utiliser des expressions mathématiques complexes à l'intérieur d'équations pour décrire le problème qui nécessite une solution. Une fois le modèle décrit à l'aide d'un langage mathématique commun, le résultat apparaît immédiatement.