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/2009Membres du jury :
Valérie Berthé
Jean-Marie Chesneaux
Florent de Dinechin
Philippe Langlois
Dominique Lavenier
Stanislaw Piestrak