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
Centre Inria de Lyon
En partenariat avec
CNRS,Université Claude Bernard (Lyon 1),Ecole normale supérieure de Lyon

Contacts

Responsable de l'équipe

Chiraz Benamor

Assistant(e) de l'équipe