Outils pour un calcul numérique fiable

Programme des exposés

Mercredi 22 septembre. Arithmétiques

10h00 Bernard Philippe (Inria-Irisa)
           Présentation des journées

10h15 Jean-Michel Muller (ENS-Lyon)
           Arithmétique des ordinateurs (ps)

11h Torbjörn Granlund
           GMP: Fast and Accurate Bignum Arithmetic

12h Déjeuner

13h30 Paul Zimmermann (LORIA-INRIA)
           Arrondi exact en précision arbitraire : la bibliothèque MPFR

14h00 Joris van der Hoeven (Université Paris-Sud)
           Fast arbitrary precision floating point arithmetic with error estimations

15h Discussions - pause-café

15h30 Sylvie Boldo (ENS-Lyon)
           Contribution à MPFR - Calcul rapide et exact en précision arbitraire de la moyenne arithmético-géométrique

16h Claire Finot (INRIA Rhône-Alpes)
           Opérations sur les pseudo-expansions

16h30 Marie-Françoise Roy (IRMAR, Université de Rennes)
           Généralisation de la règle de Descartes et isolation des racines réelles

Jeudi 23 septembre. Calculs flottants et données imprécises

9h Jean-Marie Chesneaux (Université Pierre et Marie Curie)
           Méthodes probabilistes pour le contrôle d'erreur

9h45 Jean-Claude Bergès (CNES)
           Trajectoires spatiales : Quelques problèmes de précision numérique

10h15 Jocelyne Erhel (Inria-Irisa)
           Exemples d'étude de la stabilité numérique dans des logiciels de calcul scientifique

10h45 Discussions - pause-café

11h15 Siegfried Rump (University of Hamburg)
           INTLAB - A very fast interval Matlab toolbox

12h15 Déjeuner

14h Bernard Philippe (Inria-Irisa)
           Incertitudes et calcul de valeurs propres de matrices

14h45 Bernard Mourrain (Inria-Sophia)
           Matrices structurées et fiabilité numérique

15h30 Ph. Langlois (Université de La Réunion)
           Stabilisation de la méthode de Newton par correction automatique des erreurs d'arrondi

16h00 Discussions - pause-café

16h15 Olivier Beaumont (ENS-Lyon )
           Calcul numérique de PGCD de deux polynômes

16h45 Ioannis Emiris (INRIA Sophia-Antipolis)
           Méthodes matricielles pour les conformations moléculaires

Vendredi 24 septembre. La garantie en géométrie algorithmique

9h Olivier Devillers (INRIA-Sophia)
           Précision numérique et incohérence géométrique

9h45 André Lieutier (Dassault Syst.)
           Calcul géométrique avec des données incertaines (ps)

10h45 Discussions - pause-café

11h15 Jean-Pierre Dedieu (Université Paul Sabatier)
           About the stability of decision machines

11h45 F. Patricio and J.A. Ferreira (University of Coimbra)
           Characterisation of the zeros of interval polynomials

12h15 Alexandra Fronville (INRIA-Sophia)
           Résolution de systèmes polynômiaux : application pour la fiabilité en géométrie algorithmique

12h45 Eric Leblond (Paris 6)
           Contrôle dynamique d'un mailleur 2D (ps)

13h15 Déjeuner