Sites Inria

English version

Equipe de recherche SAFIR

Systèmes algébriques formels pourl'industrie et la recherche

  • Responsable : Stephen Watt
  • Centre(s) de recherche : CRI Sophia Antipolis - Méditerranée
  • Domaine : Algorithmique, programmation, logiciels et architectures
  • Thème : Algorithmique, calcul certifié et cryptographie

Présentation de l'équipe

Le projet Safir s'est arrêté au 31 décembre 1998.

Mots-clés : Algèbre Algorithme Calcul formel Complexité algébrique Géométrie Langage fonctionnel Mécanique Réécriture Simplification Typage Dérivatio

Suivez Inria