Composants logiciels en calcul scientifique certifié


Projet : Arénaire
Encadrement (HDR) : Gilles Villard (LIP-CNRS), Gilles.Villard@ens-lyon.fr
Co-encadrement : Nathalie Revol (LIP-INRIA), Nathalie.Revol@ens-lyon.fr

Contexte scientifique
Le domaine de recherche du projet Arénaire -- projet du laboratoire LIP, dans lequel s'effectuera la thèse -- est l'arithmétique des ordinateurs. Il s'agit ici de contribuer au développement de calculs fiables en