**HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information**

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.