maple

Maple est un puissant logiciel de calcul formel, très utilisé pour faire des calculs en précision infinie par exemple.

Version installée: 6 sur les solaris, 7 sur les linux