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.