Les membres de l'équipe sont impliqués dans plusieurs projets et collaborations.

Équations différentielles

LEDA

Depuis septembre 2010, l'équipe calcul formel est partenaire du projet ANR BLANC 2010 LEDA (Logistique des Équations Différentielles Algébriques). Les autres partenaires sont l'IMT à l'université Paul Sabatier de Toulouse (porteur du projet), le LGC à l'université Paul Sabatier et le LIX à l'École Polytechnique.

MAPLESOFT

Depuis juin 2008, l'équipe est en contrat avec l'entreprise MAPLESOFT. Cette collaboration a consisté à intégrer les bibliothèques BLAD dans MAPLE et a donné lieu au paquetage DifferentialAlgebra (mai 2010).

ORCCA

L'équipe maintient des liens étroits avec le Ontario Research Centre for Computer Algebra qui fait partie de la University of Western Ontario. Un ancien membre de l'équipe, Marc Moreno Maza, est aujourd'hui en poste à ORCCA. Il est spécialisé dans la résolution des systèmes polynomiaux. François Lemaire a réalisé en collaboration avec lui le paquetage RegularChains diffusé avec MAPLE. L'équipe a reçu la visite de Greg Reid, à plusieurs reprises, sur le thème de la simplification des systèmes d'équations aux dérivées partielles.

Modélisation en biologie

bioComputing

Depuis septembre 2007, nous collaborons avec l'équipe bioComputing sur le thème de la modélisation en biologie et, en particulier, sur la modélisation par équations différentielles des moments statistiques qui apparaissent dans le cadre de la modélisation stochastique des réseaux de régulation de gènes.

CBRC

L'équipe collabore avec le Biological Network Group du Computational Biology Research Center, à Tokyo, sur des questions d'estimation de paramètres dans les modèles déterministes de réseaux de régulation de gènes.