Journées FastRelax

26--28 mai 2015, Lyon

Programme

  • 26 mai
    • Accueil 10h
    • 10:30-11:20 Silviu Filip. The Parks-McClellan algorithm and Chebyshev-proxy root finding methods. Slides
    • 11:30 Déjeuner
    • 14:00-14:50 Christophe Louembet. Contrôle impulsionnel linéaire.Slides
    • 15:00-15:50 Sylvie Boldo. Le calcul de la moyenne. Slides
    • 16:00-17:00 Pause et discussions (tableaux disponibles)
    • 17:00-18:00 Discussion - point FastRelax
    • Dîner quelque part (à préciser)
  • 27 mai
    • 09:30-10:20 Didier Henrion. Calcul formel pour le contrôle optimal
    • 10:30-11:30 Sébastien Maulat. Calcul et preuve de fractions continues explicites. Slides
    • 11:30 Déjeuner
    • 14:00-14:50 Marc Mezzarobba. Évaluation numérique de fonctions D-finies en Sage
    • 15:00-15:50 Yves Bertot. Expériences avec les polynômes de Bernstein Slides
    • 16:00-17:00 Pause et discussions (tableaux disponibles)
    • 17:00-17:50 Paul Zimmermann. Beyond Double Precision. Slides
  • 28 mai
    • 09:20-10:10 Valentina Popescu. CAMPARY (CudA Multiple Precision ARithmetic librarY). Slides
    • 10:15-11:30 Discussions possibles ou Séminaire AriC par Amal Khabou. Block LU factorization with panel Rank Revealing Pivoting and its Communication Avoiding Version (salle 116)
    • 11:30 Déjeuner
    • 13:30-14:20 Mioara Joldes. Calculs de probabilités de collision de satellites. Slides
    • 14:30-15:30 Guillaume Melquiond. Formal proof of Cody & Waite's exponential. Slides
    • 15:30 Fin