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

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

Responsable de l'équipe

Benamor Chiraz

Assistant(e) de l'équipe