|
|
ANR Blanche LAREDA 2007 "Lattice Reduction Algorithms: Dynamics, Probabilities, Experiments, Applications". |
|
ANR : ANR EVA-Flo "Evaluation et Validation Automatique pour le calcul Flottant". |
page web EVA-Flo |
ANR DyCoNum "Études diophantiennes, dynamiques et combinatoires de différentes numérations". |
page web DyCoNum |
ANR CerPAN 2005 "Certification de Programmes d'Analyse Numérique". |
page web CerPAN |