SAFIR

Systèmes Algébriques Formels pour l'Industrie et la Recherche (Formal Algebraic Systems for Industry and Research)

Version française

The SAFIR project ended in 1998. Researchers from SAFIR are currently in the SAGA, LEMME and CAFE projects.

If you would like information about SAFIR, please contact Stéphane Dalmas, Bernard Mourrain or Loïc Pottier.