La détermination de la complexité d'un nombre important
d'algorithmes repose sur la reconnaissance d'un modèle
combinatoire sous-jacent (arbres, graphes, séquences ou
structures complexes diversement contraintes). À cette fin, nous
avons conçu un langage général de description de modèles
décomposables, dérivé de celui qu'utilisait 
. Ceci forme la base du package MAPLE
combstruct, développé par E. Murray à partir du
prototype GAIA de P. Zimmermann. Le package correspondant est
incorporé par E. Murray dans la version standard de MAPLE.
Partant d'une description de structure combinatoire, ce package
fournit des fonctions permettant l'énumération rapide du nombre
d'objets de taille fixée, la génération aléatoire uniforme de ces
objets, leur génération exhaustive, la production d'équations de
séries génératrices et dans certains cas, la résolution de ces
équations. En outre, cette année le constructeur
PowerSet (ensembles sans répétition) a été incorporé au
langage, augmentant ainsi son expressivité.