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. Quadrat.
Serre(soon available): An OreModules package dedicated Serre's reduction of linear (functional/control) systems (with A. Quadrat ).