Team CFHP deals with Computer Algebra (differential equations, parametric models, differential algebra, polynomial systems, Puisieux series and associated software) and High Performance Computing (exascale-fitted paradigms and languages, associated mathematical tools such as linear algebra, industry applications).
Both aspects allow for developing a strong pool in scientific computing, sharing various interests linked to symbolic computing, software package development and mathematics.
CFHP considers various interdisciplinary application fields such as:
control sciences (symbolic computation for estimation in dynamic systems),
biology (biological modelling),
computer assisted proof (based on validated numerics),
high performance simulation.
François Boulier
Certification numérique pour les courbes algébriques avec singularités
Analyse topologique de données distribuées
Simulations haute performance et précises de la toile cosmique de l'Univers
Attaquer la "large échelle" : calcul haute performance pour l'intelligence computationnelle
Modélisation par équations intégrales et apprentissage
Ensembles de réseaux de neurones répartis et parallèles appliqués au domaine de l'énergie 13/06/2022
Sparse basis in exact linear algebra and algorithmic simplification of biological models 11/07/2016
français
English