L’équipe CFHP a une expertise reconnue en calcul formel (équations différentielles, modèles paramétriques, algèbre différentielle, systèmes polynomiaux, séries de Puiseux, avec développement de logiciels associés) et en calcul haute performance (paradigmes et langages pour l’exa-informatique, outils mathématiques associés dont l’algèbre linéaire, applications industrielles).

Ces deux aspects conduisent à un pôle fort dédié au calcul scientifique et partageant des centres d’intérêt liés au calcul symbolique, au développement de logiciels dédiés, aux mathématiques.

CFHP applique sa recherche dans des champs interdisciplinaires variés, comme :

• l’automatique (calcul symbolique pour l’estimation de systèmes dynamiques) ;
• la biologie (modélisation de systèmes biologiques) ;
• preuves assistées par ordinateur (reposant sur du calcul numérique certifié) ;
• la simulation à très grandes échelles.