Factorization-free Decomposition Algorithms in Differential Algebra

Abstract Insight on the structure of differential ideals defined by coherent autoreduced set allows one to uncouple the differential and algebraic computations in a decomposition algorithm. Original results as well as concise new proofs of already presented theorems are exposed. As a consequence, an effective version of Ritt’s algorithm can be simply described.

[1]  F. Ollivier.  Le probleme de l'identifiabilite structurelle globale : approche theorique, methodes effectives et bornes de complexite , 1990 .

[2]  Sally Morrison.  The Differential Ideal [P]: Minfty , 1999, J. Symb. Comput..

[3]  P. Olver.  Applications of lie groups to differential equations , 1986 .

[4]  A. Seidenberg.  An elimination theory for differential algebra , 1959 .

[5]  J. F. Ritt.  On the Singular Solutions of Algebraic Differential Equations , 1936 .

[6]  Daniel Lazard,et al.  Solving Zero-Dimensional Algebraic Systems , 1992, J. Symb. Comput..

[7]  A. Rosenfeld.  Specializations in differential algebra , 1959 .

[8]  Agnes Szanto,et al.  Computation with polynomial systems , 1999 .

[9]  Michael Kalkbrener,et al.  A Generalized Euclidean Algorithm for Computing Triangular Representations of Algebraic Varieties , 1993, J. Symb. Comput..

[10]  K. B. O’Keefe,et al.  The differential ideal $[uv]$ , 1966 .

[11]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

[12]  Sally Morrison.  The Differential Ideal [ P ] : M ∞ , 1999 .

[13]  Wolmer V. Vasconcelos,et al.  Computational methods in commutative algebra and algebraic geometry , 1997, Algorithms and computation in mathematics.

[14]  Sette Diop,et al.  Elimination in control theory , 1991, Math. Control. Signals Syst..

[15]  P. Clarkson,et al.  Nonclassical Reductions of a 3+1-Cubic Nonlinear Schrodinger System , 1998 .

[16]  I. Kaplansky.  An introduction to differential algebra , 1957 .

[17]  D. Eisenbud.  Commutative Algebra: with a View Toward Algebraic Geometry , 1995 .

[18]  Hamid Maarouf,et al.  Etude de quelques problèmes effectifs en algèbre différentielle , 1996 .

[19]  Heinz Kredel,et al.  Gröbner Bases: A Computational Approach to Commutative Algebra , 1993 .

[20]  T. Glad,et al.  An Algebraic Approach to Linear and Nonlinear Control , 1993 .

[21]  Marc Moreno Maza,et al.  On the Theories of Triangular Sets , 1999, J. Symb. Comput..

[22]  François Boulier,et al.  Étude et implantation de quelques algorithmes en algèbre différentielle. (Study and implementation of some algorithms in differential algebra) , 1994 .

[23]  Elizabeth L. Mansfield,et al.  Symmetry reductions and exact solutions of a class of nonlinear heat equations , 1993, solv-int/9306002.

[24]  Evelyne Hubert,et al.  Essential Components of an Algebraic Differential Equation , 1999, J. Symb. Comput..

[25]  Giuseppa Carra'Ferro,et al.  Groebner Bases and Differential Algebra , 1987 .

[26]  Sette Diop,et al.  Differential-Algebraic Decision Methods and some Applications to System Theory , 1992, Theor. Comput. Sci..

[27]  Daniel Lazard,et al.  Resolution des Systemes d'Equations Algebriques , 1981, Theor. Comput. Sci..

[28]  Harry L. Trentelman,et al.  Essays on control : perspectives in the theory and its applications , 1993 .

[29]  Sofi Stenström.  Differential Gröbner bases , 2002 .

[30]  Giuseppa Carrà Ferro.  Groebner Bases and Differential Algebra , 1987, AAECC.

[31]  Marc Moreno Maza,et al.  Calculs de pgcd au-dessus des tours d'extensions simples et resolution des systemes d'equations algebriques , 1997 .

[32]  François Boulier,et al.  Representation for the radical of a finitely generated differential ideal , 1995, ISSAC '95.