La plus grande partie des informations de cette page est tirée du rapport Calcul formel - Réponse à l'appel d'offres MathSTIC du 11/10/2001 de D. Lazard et al. (URL?). Ce rapport contient des précisions supplémentaires sur les collaborateurs aux différents projets.