SAFIR

Systèmes Algébriques Formels pour l'Industrie et la Recherche

English Version

Le projet SAFIR s'est terminé en 1998. Les chercheurs de SAFIR sont maintenant dans les projets SAGA, LEMME ou CAFE.

Si vous désirez des renseignements sur le projet SAFIR, vous pouvez contacter Stéphane Dalmas, Bernard Mourrain ou Loïc Pottier.