Calcul formel et applications, Systèmes d'équations
fonctionnelles (différentielles, aux (q-)différences, aux dérivées partielles, ...) linéaires, Algorithmique,
Algèbre homologique effective pour
l'étude des systèmes fonctionnels linéaires, Complexité, Caractéristique
positive,
Méthodes modulaires, Algèbre
différentielle,
Élimination différentielle et
applications en automatique
Publications : Cliquez ICI pour obtenir la liste de mes publications
Implémentations :
The package IntegrableConnectionswhich contains algorithms for computing rational and hyperexponential solutions of linear systems of
PDEs written as integrable connections.
The package OreMorphisms: A homological algebraic package for factoring, reducing and decomposing linear functional systems,
developed by T. Cluzeau and A. Quadratis now available
Maple procedures for factoring differential systems in characteristic p : ICI
Autres :
Encadrement de thèses
Carole El Bacha (2008-2011, co-encadrée avec M. A. Barkatou)