1.6 Quelques sites sur le calcul formel 

• Liste de logiciels de calcul formel libres, maintenue par Paul Zimmermann.
• Une liste exhaustive des logiciels de calcul formel est disponible sur le site Mathematics - Computer Algebra Systems.
• Le site de Michael Wester contient une comparaison des performances de plusieurs logiciels de calcul formels (Axiom, Derive, Macsyma, Maple, Mathematica, MuPAD et Reduce).
• Les pages de Fabrice Rouillier et Paul Zimmermann (INRIA Lorraine).
• OpenMath : projet de standard pour représenter les objets mathématiques de sorte qu'ils puissent être échangés entre ordinateurs et programmes, et sauvegardés dans des bases de données.
• Le site de l'UPS (Union des Professeurs de Spéciales).
• SymbolicNet (Symbolic Mathematical Computation Information Center, Kent University).
• Le site web de Richard Fateman.
• CAIN Europe (Computer Algebra Information Network).