Participants : Jacques Carette, Frédéric Chyzak, Philippe Flajolet, Xavier Goourdon, Franç ois Morain, Eithne Murray, Bruno Salvy
Le calcul scientifique, traditionnellement orienté vers le calcul numérique, accorde une place de plus en plus importante au calcul formel, c'est-à-dire à des logiciels permettant le calcul de formules mathématiques, et non plus simplement de nombres. Des systèmes comme MACSYMA, REDUCE ou plus récememnt MAPLE, AXIOM, MATHEMATICA sont utilisés par de nombreux mathématiciens, physiciens, ou chimistes et l'on constate une augmentation rapide de la variété des applications du calcul formel en sciences de l'ingénieur.
Les outils mathématiques utilisés et développés dans le projet
pour l'analyse d'algorithmes sont en grande partie susceptibles
d'une automatisation à l'aide de systèmes de calcul formel. Cette
automatisation présente le double intérêt de faciliter
l'expérimentation autour de l'optimisation d'algorithmes et de
susciter de nouvelles directions de recherche pour le calcul
formel. Ainsi, les travaux du projet dans ce domaine associent
bien souvent implantation et recherche algorithmique. En 1988, a
été réalisée par B. Salvy et P. Zimmermann une première version
du système 
d'analyse
automatique d'algorithmes développée en CAML et MAPLE. Ces
dernières années, dans le but d'accroître les classes
d'algorithmes analysables automatiquement, de nombreux programmes
ont été écrits par des membres du projet (généralement en MAPLE),
formant une véritable bibliothèque d'outils de calcul formel de
portée générale pour l'analyse combinatoire [39] et l'analyse de modèles discrets de
grande taille pour les systèmes complexes.