List
of Publications of Thomas Cluzeau
Submitted
/ In preparation papers
Ø Cluzeau, T., Pinto, C., Quadrat,
A.,. An algorithmic proof of the coherence of the
ring of polynomial ordinary integro-differential operators.
Submitted to ISSAC 2025.
Ø Cluzeau, T., Pinto, C., Quadrat,
A.,. Polynomial solutions for general linear
polynomial ordinary integro-differential systems.
Submitted to ISSAC 2025.
Ø Cluzeau, T.,
Pinto, C., Quadrat, A., The effective
Cramer property of the ring of polynomial ordinary integro-differential
operators. In preparation, 2025.
Ø
Bachelier, O., Cluzeau, T.,
Helman, Q., Silva, F. J., Yeganefar, Ni. On the state
feedback stabilization of implicit Roesser models. Submitted to IFAC-SSSC 2025.
Ø
Bachelier, O., Cluzeau, T.,
Helman, Q., Silva, F. J., Yeganefar, Ni. Equivalence
between attractivity and asymptotic stability for continuous 2D linear Roesser
models. Submitted to IFAC-SSSC 2025.
Ø
Bachelier, O., Cluzeau, T.,
Helman, Q., Silva, F. J., Yeganefar, Ni. Reflections on
attractivity versus stability for 2D nonlinear models. Submitted to IFAC-SSSC
2025.
Ø
Chenavier, C., Cluzeau, T., Quadrat, A., Formal
integrability of partial differential systems: implementation and applications.
Submitted
to IFAC-SSSC 2025.
2025
Ø Chenavier, C., Cluzeau,
T., Musson-Leymarie, A. Topological
closure of formal power series ideals and application to topological rewriting
theory.
Journal of Symbolic Computation, 129, 2025. https://doi.org/10.1016/j.jsc.2024.102416
2024
Ø Cluzeau, T., Moroz, G., Quadrat,
A.,. Toward
the computation of stabilizing controllers of multidimensional systems.
Proceedings of Mathematical Theory of Networks and Systems
(MTNS) 2024, 19-23 August 2024, Cambridge, UK. IFAC-PapersOnLine, 58(17),
433-438, 2024. https://doi.org/10.1016/j.ifacol.2024.10.208
Ø Cluzeau, T., Pinto, C., Quadrat,
A.,. Effective
characterization of evaluation ideals of the ring of integro-differential
operators.
Proceedings of the International Symposium on Symbolic and Algebraic
Computations (ISSAC), p. 117-125, 2024. https://dl.acm.org/doi/10.1145/3666000.3669682
Ø
Barkatou, M. A., Cluzeau,
T., On the computation of rational
solutions of linear integro-differential equations with polynomial
coefficients.
Journal of Symbolic Computation, 121, 2024. https://doi.org/10.1016/j.jsc.2023.102252
2023
Ø Cluzeau, T.,
Pinto, C., Quadrat, A., Further results
on the computation of the annihilator of integro-differential operators.
Proceedings of the International Symposium on Symbolic and
Algebraic Computations (ISSAC), p. 182-190, 2023. https://dl.acm.org/doi/10.1145/3597066.3597083
Ø
Chartouny,
M., Cluzeau, T., Quadrat, A., Algorithmic
study of the algebraic parameter estimation problem for a class of
perturbations.
Maple Transactions, Volume 3, Num 1, 2023. https://doi.org/10.5206/mt.v2i2.14467
Ø
Bachelier, O., Cluzeau, T.,
Rigaud, A., Silva, F. J., Yeganefar, Ni., A Necessary and
Sufficient Condition for Asymptotic Stability of Fornasini-Marchesini Models.
Linear Algebra and its Applications, Volume 658, Issue 1, pp
206-232, 2023.
https://www.sciencedirect.com/science/article/abs/pii/S0024379522003913
Ø
Bachelier, O., Cluzeau, T.,
Rigaud, A., Silva, F. J., Yeganefar, Na., Yeganefar, Ni., On the connections
between various stability notions for linear 2D discrete models.
IEEE Transactions in Automatic Control, 68(12), 7919-7926, 2023. https://ieeexplore.ieee.org/document/10077742
Ø
Bachelier, O., Cluzeau, T., Mehdi,
D., Rigaud, A., Yeganefar, Ni., New tests for
the stability of 3D Roesser models.
Mathematics
of Control, Signals, and Systems, 35, 619-639, 2023. https://doi.org/10.1007/s00498-023-00352-7
Ø
Bachelier, O., Cluzeau, T.,
Rigaud, A., Silva, F. J., Yeganefar, Ni., On exponential
stability of a class of descriptor continuous linear 2D Roesser models.
International Journal of Control, 96(6), 1582-1593, 2023. https://doi.org/10.1080/00207179.2022.2057872
2022
Ø
Chenavier, C., Cluzeau, T., Quadrat, A., Computation of
Koszul homology and application to involutivity of partial differential
systems,
Proceedings
of the 8th IFAC Symposium on System Structure and Control, 17th IFAC Workshop
on Time Delay Systems, 5th IFAC Workshop on Linear Parameter Varying Systems,
Montreal, Canada, September 27-30, 2022.
Ø
Barkatou, M. A., Cluzeau,
T., On polynomial solutions of linear integro-differential
equations,
Proceedings
of the 8th IFAC Symposium on System Structure and Control, 17th IFAC Workshop
on Time Delay Systems, 5th IFAC Workshop on Linear Parameter Varying Systems,
Montreal, Canada, September 27-30, 2022.
Ø
Bachelier, O., Cluzeau, T.,
Rigaud, A., Silva, F. J., Yeganefar, Ni., Equivalence
between different stability definitions for 2D linear discrete Roesser models,
Procedings
of the IEEE Conference on Decision and Control (CDC), Cancun, Mexico, 6-9
December, 2022.
Ø
Bachelier, O., Cluzeau, T.,
Transforming some classes of interconnected systems and ladder
circuits into equivalent classical 2D models,
Proceedings
of Mathematical Theory of Networks and Systems (MTNS), Bayreuth, Germany,
12-16 September, 2022.
2021
Ø
Bachelier, O., Cluzeau, T., Mehdi,
D., Yeganefar, Ni., New tests
for the stability of 2D Roesser models,
IEEE Transactions on Automatic Control, Volume 66, Issue 1, pp.
406-412, 2021.
https://doi.org/10.1109/TAC.2020.2981344
Ø
Boudellioua,
M. S., Cluzeau, T., On the connections
between two classical notions of multidimensional systems equivalence,
International Journal of Control, Volume 94, Issue 11, pp
3046-3053, 2021.
https://www.tandfonline.com/doi/abs/10.1080/00207179.2020.1749939
Ø
Barkatou, M. A., Cluzeau, T., El Hajj, A., On rational
solutions of pseudo-linear systems,
Lecture Notes in Computer Science (23rd International Workshop,
CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings), Volume 12865,
2021.
https://link.springer.com/chapter/10.1007/978-3-030-85165-1_4
Ø
Chartouny,
M., Cluzeau, T., Quadrat, A., On the inverse
Cauchy problem for linear ordinary differential equations,
Proceedings in Applied Mathematics and Mechanics, Volume 21,
Issue 1, 2021.
https://hal.archives-ouvertes.fr/hal-03530281/
2020
Ø
Barkatou, M. A., Cluzeau, T., Di Vizio, L., Weil, J.-A., Reduced forms of
linear differential systems and the intrinsic Galois-Lie algebra of Katz,
Symmetry, Integrability and Geometry : Methods and Applications
(SIGMA), 16, 54-67, 2020. arXiv:1912.10567v1
Ø
Bachelier, O.,, Cluzeau, T.,
Silva, F. J., Yeganefar, Ni., Stability
of one-dimensioned spatially interconnected systems,
Multidimensional
Systems and Signal Processing, Volume 31, Issue 3, pp 1005-1028, 2020.
https://link.springer.com/article/10.1007/s11045-019-00695-y
Ø
Cluzeau, T., Koutschan, C., Quadrat, A., Tõnso, M., M., Effective
algebraic analysis approach to linear systems over Ore algebras (.pdf)
Special Issue “Algebraic and Symbolic Computation Methods in
Dynamical Systems” in the Springer series Advances in Delays and Dynamics,
Volume 9 : 3-52, 2020.
Ø
Cluzeau,
T., Quadrat, A., Equivalence of
Linear Functional Systems (.pdf)
Special Issue “Algebraic and Symbolic Computation Methods in
Dynamical Systems” in the Springer series Advances in Delays and Dynamics,
Volume 9 : 53-86 2020.
2019
Ø
Barkatou, M. A., Cluzeau, T., El Hajj, A.,
PseudoLinearSystems: A Maple Package for Studying Systems of Pseudo-Linear
Equations (.pdf)
Maple
Conference, Waterloo, Canada, October 15-17, 2019.
Ø
Bouzidi, Y., Cluzeau,
T., Quadrat, A., Rouillier, F., On the
effective computation of stabilizing controllers of 2D systems (.pdf)
Maple
Conference, Waterloo, Canada, October 15-17, 2019.
Ø
Bouzidi, Y., Cluzeau,
T., Quadrat, A., On the
computation of stabilizing controllers of multidimensional systems (.pdf)
Proceeding of the Joint IFAC Conference 7th SSSC 2019 and 15th
TDS 2019, 9-11 September 2019, Sinaia, Romania.
Ø
Barkatou, M. A., Cluzeau, T., El Hajj, A., Simple Forms and
Rational Solutions of Pseudo-Linear Systems (.pdf),
Proceedings
of the International Symposium on Symbolic and Algebraic Computations (ISSAC),
Beijing, China, 15-18 July 2019.
Ø
Bachelier, O., Cluzeau, T.,
Mehdi, D., Yeganefar, Ni, New LMI
Conditions for the Stability of 2D Roesser Models (.pdf)
Proceedings of the European Control Conference (ECC 2019),
Naples, Italy, 25-28 June 2019.
Ø
Bachelier, O., Cluzeau, T.,
Yeganefar, Ni, On the stability
and the stabilization of linear discrete repetitive processes (.pdf)
Multidimensional Systems and Signal Processing, Volume 30, Issue
2, pp 963-987, 2019.
http://link.springer.com/article/10.1007/s11045-018-0583-3
2018
Ø
Cluzeau,
T., Hossein Poor, J., Quadrat, A., Raab, C.,
Regensburger, G., Symbolic Computation for Integro-Differential-Time-Delay
Operators with Matrix Coefficients (.pdf)
Proceedings of the 14th IFAC Workshop on Time Delay Systems
(TDS), Budapest, Hungary, June 28-30, 2018.
Ø
Bachelier, O., Cluzeau, T.,
Roesser form of (wave) linear repetitive processes and structural stability
(.pdf)
Proceedings of the European Control Conference (ECC 2018),
Limassol, Cyprus, 12-15 June 2018.
Ø
Bachelier, O., Cluzeau, T.,
David, R., Silva, F. J., Yeganefar, Na, Yeganefar, Ni, Structural
stability, asymptotic stability, and exponential stability for linear
multidimensional discrete systems: the good, the bad, and the ugly, (.pdf)
International
Journal of Control, Volume 91, Issue 12, pp 2714-2725, 2018.
http://www.tandfonline.com/doi/full/10.1080/00207179.2017.1390258
Ø
Barkatou, M. A., Cluzeau, T., El Bacha, C., On the computation
of simple forms and regular solutions of linear difference systems (.pdf)
Advances in Computer Algebra, Springer Proceedings in
Mathematics & Statistics, Volume 226, In Honour of Sergei Abramov's 70th
Birthday
(Waterloo Workshop on Computer Algebra 2016, Waterloo, Ontario,
Canada).
2017
Ø
David,
R., Bachelier, O., Cluzeau, T.,
Yeganefar, Ni, Asymptotic and
Structural Stability for a Linear 2D Discrete Roesser Model, (.pdf)
Proceedings of the 10th International Workshop on
Multidimensional (nD) Systems (nDS 2017), Zielona Góra, Poland, 13-15 September
2017.
Ø
Bachelier, O., Cluzeau, T.,
Digression on the Equivalence between Linear 2D Discrete Repetitive
Processes and Roesser Models, (.pdf)
Proceedings of the 10th International Workshop on
Multidimensional (nD) Systems (nDS 2017), Zielona Góra, Poland, 13-15 September
2017.
Ø
Bachelier, O., Cluzeau, T.,
David, R., Yeganefar, N., An algebraic
approach to the observer-based feedback stabilization of linear 2D discrete
models, (.pdf)
Proceeding of the 20th World Congress of the International
Federation of Automatic Control (IFAC), Toulouse, France, 9-14 July 2017.
Ø
David,
R., Bachelier, O., Cluzeau, T.,
Silva, F. J., Yeganefar, Na., Yeganefar, Ni, Structural
stability and asymptotic stability for multidimensional systems: a
counterexample, (.pdf)
Proceeding of the 20th World Congress of the International
Federation of Automatic Control (IFAC), Toulouse, France, 9-14 July 2017.
Ø
Bouzidi, Y., Cluzeau,
T., Moroz, G., Quadrat, A., Computing
effectively stabilizing controllers for a class of nD systems, (.pdf)
Proceeding of the 20th World Congress of the International Federation
of Automatic Control (IFAC), Toulouse, France, 9-14 July 2017.
Ø
Bachelier, O., Cluzeau, T.,
David, R., Yeganefar, N., Structural
Stabilization of Linear 2D Discrete Systems Using Equivalence Transformations,
(.pdf)
Multidimensional Systems and Signal Processing, Volume 28, Issue
4, pp 1629–1652, 2017.
2016
Ø
Barkatou, M. A., Cluzeau, T.,
Di Vizio, L., Weil, J.-A., Computing the
Lie Algebra of the Differential Galois Group of a Linear Differential System, (.pdf)
Proceedings of the International Symposium on Symbolic and
Algebraic Computations (ISSAC), july 22-22, Waterloo, Canada, 63-70, 2016.
Ø
Bachelier, O., Cluzeau, T.,
David, R., Yeganefar, N., Structural
Stability and Equivalence of Linear 2D Discrete Systems (.pdf).
Proceedings
of the IFAC Joint Symposium SSSC & TDS, Istanbul, Turkey, 2016.
Ø
Bostan, A., Chèze, G., Cluzeau, T.,
Weil, J.-A., Efficient
algorithms for computing rational first integrals and Darboux polynomials of
planar polynomial vector fields (hal, arxiv),
Mathematics of Computation 85: 1393-1425, 2016.
2015
Ø
Barkatou, M. A., Cluzeau, T., El Bacha, C., A New Approach
for Computing Regular Solutions of Linear Difference Systems (.pdf),
Lecture
Notes in Computer Science 9301 (Proceedings of Computer Algebra in Scientific Computing (CASC)
2015, september 14-18, Aachen, Germany), 72-86, 2015.
Ø
Cluzeau,
T., A Constructive Algebraic Analysis Approach to the Equivalence of
Multidimensional Linear Systems (.pdf),
Proceedings of the 9th international Workshop on Multidimensional (nD) Systems (nDS'15), Vila Real
(Portugal), 07-09/09/2015.
Ø
Cluzeau, T., Quadrat, A., A New Insight
into Serre's Reduction Problem (.pdf),
Linear Algebra and its Applications (LAA), 483: 40-100,
2015.
Ø
Barkatou, M. A., Cluzeau,
T., Jalouli, A., Formal Solutions of Linear Differential Systems
with Essential Singularities in their Coefficients (.pdf),
Proceedings of the International Symposium on Symbolic
and Algebraic Computations (ISSAC), july 6-9, Bath, UK, 45-52, 2015.
2014
Ø
Cluzeau,
T., Quadrat, A., A New Insight
into Serre's Reduction Problem (.pdf),
Rapport de Recherche INRIA (RR-8629), 2014.
2013
Ø
Chèze, G., Cluzeau, T.,
On the nonexistence of Liouvillian first integrals for generalized Liénard
polynomial differential systems (.pdf),
Journal of Nonlinear Mathematical Physics, Volume 20 (4),
475-479, 2013.
Ø
Cluzeau,
T., Dolean, V., Nataf, F., Quadrat, A., Symbolic
techniques for domain decomposition methods (.pdf),
Lecture Notes in Computational Science and Engineering (LNCSE),
Volume 91, 27-38, Springer 2013.
Ø
Cluzeau,
T., Quadrat, A., Isomorphisms
and Serre's reduction of linear systems (.pdf),
Proceedings of the 8th international Workshop on Multidimensional (nD) Systems (nDS'13), Erlangen (Germany),
09-11/09/2013.
Ø Cluzeau, T., Quadrat, A., Further
Results on the Decomposition and Serre's Reduction of Linear Functional Systems
(.pdf),
Proceedings
of the 5th Symposium on System Structure
and Control (IFAC Joint Conference), Grenoble France, 04-06/02/2013.
2012
Ø
Cluzeau,
T., Quadrat, A., Serre's reduction
of linear partial differential systems with holonomic adjoints (.pdf),
Journal of Symbolic Computation (JSC), 47(10), 1192-1213, 2012.
Ø
Barkatou, M. A., Cluzeau, T., El Bacha, C., Weil, J.-A., Computing
Closed-Form Solutions of Integrable Connections (.pdf),
Proceedings
of the International Symposium on Symbolic and Algebraic Computations (ISSAC),
july 22-25, Grenoble, France, 43-50, 2012.
Ø
Cluzeau,
T., Dolean, V., Nataf, F., Quadrat, A., Symbolic
methods for developing new domain decomposition algorithms (.pdf),
Rapport de Recherche INRIA (RR-7953), 2012.
2011
Ø
Barkatou, M. A., Cluzeau, T., El Bacha, C., Simple forms of
higher-order linear differential systems and their applications in
computing regular solutions (.pdf),
Journal of Symbolic Computation (JSC), 46(6), 633-658,
2011.
Ø
Cluzeau,
T., Quadrat, A., A constructive
version of Fitting's theorem on isomorphisms and equivalences of linear systems
(.pdf),
Proceedings of the 7th international Workshop on Multidimensional (nD) Systems
(nDS'11), Poitiers (France), 05-07/09/2011.
Ø
Chakhar, A., Cluzeau, T., Quadrat, A., An algebraic
analysis approach to certain classes of nonlinear systems of partial
differential equations (.pdf),
Proceedings of the 7th international Workshop on Multidimensional (nD)
Systems (nDS'11), Poitiers (France), 05-07/09/2011.
Ø
Barkatou, M. A., Cluzeau, T., El Bacha, C., Quadrat, A., Monge
parametrizations and integration of rectangular linear differential systems
(.pdf),
Effective Methods in
Algebraic Geometry (MEGA) 2011, Stockholm (Sweden),
30/05-4/06/2011.
Ø
Cluzeau,
T., Dolean, V., Nataf, F., Quadrat, A., Symbolic
techniques for domain decomposition methods (.pdf),
Proceedings of the 20th international conference on Domain Decomposition methods (DD20), San Diego,
California (USA), 07-11/02/2011.
2010
Ø
Cluzeau,
T., Quadrat, A., Serre's
reduction of linear partial differential systems based on holonomy (.pdf),
Proceedings of Mathematical Theory of Networks and Systems
(MTNS) 2010, Budapest (Hungary), 5-9/07/2010.
Ø
Cluzeau,
T., Quadrat, A., Module structure
of classical multidimensional systems appearing in mathematical physics (.pdf),
Proceedings of Mathematical Theory of Networks and Systems
(MTNS) 2010, Budapest (Hungary), 5-9/07/2010.
Ø
Cluzeau,
T., Quadrat, A., Symmetries,
parametrizations and potentials of multidimensional linear systems (.pdf),
Proceedings of Mathematical Theory of Networks and Systems
(MTNS) 2010, Budapest (Hungary), 5-9/07/2010.
Ø
Barkatou, M. A., Cluzeau, T., El Bacha, C., Frobenius Method
for Computing Power Series Solutions of Linear Higher-Order Differential
Systems (.pdf),
Proceedings of Mathematical Theory of Networks and Systems
(MTNS) 2010, Budapest (Hungary), 5-9/07/2010.
Ø
Cluzeau,
T., Quadrat, A., Serre's
reduction of linear partial differential systems with holonomic adjoints (.pdf),
Rapport de Recherche INRIA (RR-7486), 2010.
2009
Ø
Cluzeau,
T., Quadrat, A., OreMorphisms: A
homological algebraic package for factoring, reducing and decomposing
linear functional systems (.pdf),
Lecture Notes in Control and Information Sciences (LNCIS), Topics
in Time-Delay Systems: Analysis, Algorithms and Control, J.-J. Loiseau, W.
Michiels, S.-I. Niculescu, R. Sipahi, Springer, 179-195, Août 2009.
Ø
Cluzeau,
T., Quadrat, A., On algebraic
simplifications of linear functional systems (.pdf),
Lecture Notes in Control and Information Sciences (LNCIS),
Topics in Time-Delay Systems: Analysis, Algorithms and Control, J.-J. Loiseau,
W. Michiels, S.-I. Niculescu, R. Sipahi, Springer, 167-178, Août 2009.
Ø
Barkatou, M. A., Cluzeau, T., El Bacha, C., Algorithms for
regular solutions of higher-order linear differential systems (.pdf),
Proceedings of the International Symposium on Symbolic and
Algebraic Computations (ISSAC), july 28-31, Seoul, Republic of Korea, 7-14,
2009.
Ø
Jaafar, M., Aupetit-Berthelemot, C., Cluzeau, T.,
Teyssier, J.-P., Improved
mathematical model for the investigation of deep traps into semicondictor
devices : application to Metamorphic HEMT (.pdf),
74th ARFTG Microwave Measurement Symposium, System Modeling and
Measurement for High Accuracy Verification, December 1st to 4th, 2009,
Broomfield/Boulder, CO.
2008
Ø
Cluzeau,
T., Hubert, É., Probabilistic algorithms
for computing resolvent representation of regular differential ideals (.pdf),
Applicable Algebra in Engineering, Communication and Computing
(AAECC), 19(5), 365-392, 2008.
Ø
Cluzeau,
T., Keller, J., Schneeweiss, W., An
efficient algorithm for computing the reliability of consecutive-k-out-of-n:F
systems (.pdf),
IEEE Transactions on Reliability, 57(1): 84-87, March 2008.
Ø
Cluzeau,
T., Quadrat, A., Factoring and
decomposing a class of linear functional systems (.pdf),
Linear Algebra and its Applications (LAA), 428(1): 324-381,
2008.
2006
Ø
Cluzeau,
T., van Hoeij, M., Computing
hypergeometric solutions of linear difference equations (.pdf),
Applicable Algebra in Engineering, Communication and Computing
(AAECC), 17(2), 83-115, 2006.
Ø
Bostan, A., Chyzak, F., Cluzeau, T.,
Salvy, B., Low
complexity algorithms for linear recurrences (.pdf),
Proceedings of the International Symposium on Symbolic and
Algebraic Computations (ISSAC), july 9-12, Genova, Italy, 31-38, 2006.
Ø
Cluzeau,
T., Quadrat, A., Using
morphism computations for factoring and decomposing general linear functional
systems (.pdf),
Proceedings of Mathematical Theory of Networks and
Systems (MTNS) 2006, Kyoto (Japon), 24-28/07/2006.
Ø
Cluzeau,
T., Quadrat, A., Using morphism
computations for factoring and decomposing general linear functional systems (.pdf),
Rapport de Recherche INRIA (RR-5942), 2006.
2005
Ø
Barkatou, M. A., Cluzeau, T.,
Weil, J.-A., Factoring
partial differential systems in positive characteristic (.pdf),
Differential Equations and Symbolic Computations (DESC) Book,
Éditor D. Wang, Birkhäuser, 2005.
Ø
Bostan, A., Cluzeau, T.,
Salvy, B., Fast
algorithms for polynomial solutions of linear differential equations (.pdf),
Proceedings of the International Symposium on Symbolic and
Algebraic Computations (ISSAC), july 24-27, Beijing, China, 45-52, 2005.
2004
Ø
Cluzeau,
T., van Hoeij, M., A modular
algorithm for computing the exponential solutions of a linear differential
operator (.pdf),
Journal of Symbolic Computation (JSC), 38(3): 1043-1076, 2004.
Ø Cluzeau, T.,
Algorithmique modulaire des équations différentielles linéaires (PhD.pdf),
Thèse de l'Université de Limoges soutenue le 23 septembre 2004.
2003
Ø
Cluzeau,
T., Hubert, É., Resolvent
representation for regular differential ideals (.pdf),
Applicable Algebra in Engineering, Communication and Computing
(AAECC), 13(5): 395-425, 2003.
Ø
Cluzeau,
T., Factorization of differential systems in characteristic p
(.pdf),
Proceedings of the International Symposium on Symbolic and
Algebraic Computations (ISSAC), august 3-6, Philadelphia, Pennsylvania, 58-65,
2003.
2001
Ø
Cluzeau,
T., Hubert, É., Resolvent
representation for regular differential ideals (.pdf),
Rapport de Recherche INRIA (RR-4200), 2001.