13 citations · 23 across the 6 of their papers we have counts for
6 papers
Schreyer resolution of modules over formal power series
Cyrille Chenavier, Thomas Cluzeau, Adya Musson-Leymarie
Standard bases of modules over algebras of formal power series play the same role as Gröbner bases of modules over polynomial algebras. In this article, we first prove the analogue…
Topological closure of formal power series ideals and application to topological rewriting theory
Cyrille Chenavier, Thomas Cluzeau, Adya Musson-Leymarie
We investigate formal power series ideals and their relationship to topological rewriting theory. Since commutative formal power series algebras are Zariski rings, their ideals are…
Reduced Forms of Linear Differential Systems and the Intrinsic Galois-Lie Algebra of Katz
Moulay Barkatou, Thomas Cluzeau, Lucia Di Vizio +1
Generalizing the main result of [Aparicio-Monforte A., Compoint E., Weil J.-A., J. Pure Appl. Algebra 217 (2013), 1504-1516], we prove that a linear differential system is in reduc…
Computing effectively stabilizing controllers for a class of D systems
Yacine Bouzidi, Thomas Cluzeau, Guillaume Moroz +1
In this paper, we study the internal stabilizability and internal stabilization problems for multidimensional (nD) systems. Within the fractional representation approach, a multidi…
Efficient Algorithms for Computing Rational First Integrals and Darboux Polynomials of Planar Polynomial Vector Fields
Alin Bostan, Guillaume Chèze, Thomas Cluzeau +1
We present fast algorithms for computing rational first integrals with bounded degree of a planar polynomial vector field. Our approach is inspired by an idea of Ferragut and Giaco…
Low Complexity Algorithms for Linear Recurrences
Alin Bostan, Frédéric Chyzak, Bruno Salvy +1
We consider two kinds of problems: the computation of polynomial and rational solutions of linear recurrences with coefficients that are polynomials with integer coefficients; inde…