Cours-colloque donné par F. Chyzak aux journées ``Algorithmique et programmation 2010'', CIRM, Luminy, le 10 mai 2010. Transparents des 3 exposés d'1 h 30.
La liste des sessions Maple démontrées, par ordre d'apparition dans les exposés, est la suivante :
Les versions des packages gfun, NumGfun et Mgfun utilisés pour ces démonstrations logicielles sont celles disponibles dans la version 13.0 d'Algolib. Le logiciel DynaMoW dont il a été question dans le deuxième exposé sera disponible un jour ; quant au DLMF du NIST, il était rendu public le lendemain, 11 mai !
Une partie de des sujets traités dans le cours-colloque est introduite et approfondie dans les notes du cours de Calcul formel au MPRI.