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