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

L'objectif principal de l'équipe-projet AriC est d'améliorer, au moyen de l'arithmétique des ordinateurs, la qualité des calculs en général: performance, efficacité, précision, confiance.

Centre(s) inria
Grenoble - Rhône-Alpes
En partenariat avec
CNRS,Université Claude Bernard (Lyon 1),Ecole normale supérieure de Lyon

Membres de l'équipe-projet

Responsable de l'équipe

Benamor Chiraz

Assistant(e) de l'équipe