Person in charge:

- ADLY Samir [samir.adly@xlim.fr]

The computer algebra team develops new computational methods with the goal of obtaining exact symbolic representations, as well as certified qualitative and quantitative information on solutions of differential, polynomial and functional equations.

Smooth and non-smooth numerical optimization, Variational and non-smooth analysis, Non-regular dynamical systems, PDE, Optimal mass transport.

Local algebraic theory, Global algebraic theory and K-theory, Archimedean analytic theory, Ultrametric analytic theory.