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.