Equipe-projet

ARIC

Arithmétiques des ordinateurs, méthodes formelles, génération de code
Arithmétiques des ordinateurs, méthodes formelles, génération de code
  1. Accueil
  2. Les équipes-projets
  3. ARIC

AriC étudie divers aspects de l'approximation et de l'algèbre d'un point de vue informatique, en allant du hardware à des questions de complexité algébrique.

Centre(s) inria
Lyon
En partenariat avec
CNRS,Université Claude Bernard (Lyon 1),Ecole normale supérieure de Lyon

Membres

Bruno Salvy

Responsable de l'équipe

Chiraz Benamor

Assistant(e) de l'équipe

Dans l'actualité

Toute l'actualité de l'équipe-projet

Découvrez les autres équipes
Découvrez les autres équipes qui travaillent sur le même thème