Après l'automatisation du calcul numérique, l'informatique s'est attaquée à celle d'opérations mathématiques plus abstraites. Les logiciels de calcul formel sont désormais faciles d'accès. Ils épargnent aux scientifiques des heures, voire des années de travail... à condition de savoir les utiliser...