Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 18 Décembre 2001

Manipulation des fonctions spéciales par le calcul formel

par Frédéric Chyzak (INRIA Rocquencourt)

De nombreuses fonctions spéciales et suites de la combinatoire peuvent être représentées par des systèmes d'équations fonctionnelles linéaires, permettant une manipulation par des méthodes de calcul formel.

La classe de ces objets jouit en effet d'un certain nombre de propriétés de clôture qui ont récemment été traduites en algorithmes.

L'exposé présente ces algorithmes au travers d'exemples concrets traités avec notre implantation Maple.

Les applications incluent l'évaluation d'intégrales et de sommes définies paramétrées, le développement en séries ou asymptotiques, ainsi que la preuve automatique d'identités.

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr