- Computer Science Laboratory

DIDIER Laurent-Stéphane

Habilitation
Team : PEQUAN

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

Phd defence : 11/27/2009

Jury members :

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