- Laboratoire d’informatique Sorbonne Université - CNRS UMR 7606

Le LIP6 soutient la campagne Octobre Rose de prévention contre le cancer du sein

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