- Laboratoire d’informatique

DIDIER Laurent-Stéphane

Habilitation à Diriger des Recherches
Équipe : PEQUAN

Contribution aux systèmes modulaires de représentation des nombres et à l’automatisation de la validation numérique

Soutenance : 27/11/2009

Membres du jury :

Valérie Berthé
Jean-Marie Chesneaux
Florent de Dinechin
Philippe Langlois
Dominique Lavenier
Stanislaw Piestrak