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, Interpolation et applications en
électronique
Publications : Cliquez ICI pour obtenir la liste de mes publications
Implémentations :
BCE: Maple implementation of the algorithm developed in Barkatou, M. A., Cluzeau, T., El Bacha, C., Algorithms for regular solutions of higher-order linear differential systems, in
Proceedings of ISSAC, 2009. It computes a basis of the regular solution space of a higher-order linear differential system.
(Click here for an example with Maple).
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 :
#Projets
Projet PEPS : SADDLES (Symbolic Algebra, Domain Decomposition, Linear Equations and Systems)
Projet ECONET
: Algorithmique des systèmes d'équations fonctionnelles
et applications à l'intégrabilité des
systèmes dynamiques
Thomas Cluzeau 
