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
Grenoble - Rhône-Alpes
En partenariat avec
CNRS,Université Claude Bernard (Lyon 1),Ecole normale supérieure de Lyon

Membres

Salvy Bruno

Responsable de l'équipe

Benamor Chiraz

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