Computing representations for radicals of finitely generated differential ideals

Applicable Algebra in Engineering, Communications and Computing

Volumn 20, Issue 1 SPEC. ISS., 2009, Pages 73-121

  Boulier, François ^a   Lazard, Daniel ^b   Ollivier, François ^c   Petitot, Michel ^a  

^a UNIV LILLE   (France)

^b SORBONNE UNIVERSITÉ   (France)

^c ÉCOLE POLYTECHNIQUE   (France)

Author keywords

Computer algebra; Differential algebra

Indexed keywords

ALGEBRA; COMPUTATION THEORY;

COMPUTER ALGEBRA; DIFFERENTIAL ALGEBRAS; EQUIVALENCE RELATIONS; PARTIAL DERIVATIVES; STANDARD LIBRARIES; TAYLOR EXPANSIONS;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 65049090438     PISSN: 09381279     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00200-009-0091-7     Document Type: Article

References (46)

1. Becker T., Weispfenning V. (1991) Gröbner Bases: A Computational Approach to Commutative Algebra. Graduate Texts in Mathematics, vol. 141. Springer, New York
2. Boulier, F.: Étude et Implantation de Quelques Algorithmes en Algèbre Différentielle. PhD thesis, Université Lille I, 59655, Villeneuve d'Ascq, France (1994). http://tel.archives-ouvertes.fr/tel- 00137866
3. Boulier, F.: Some improvements of a lemma of Rosenfeld (never published) (1997)
4. Boulier, F., Lazard, D., Ollivier, F., Petitot, M.: Representation for the radical of a finitely generated differential ideal. In: ISSAC'95: Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, pp. 158-166, ACM Press, New York (1995). ISBN 0-89791-699-9. http://hal.archives-ouvertes.fr/hal-00138020
5. D. Bouziane A. Kandri Rody H. Maârouf 2001 Unmixed-dimensional decomposition of a finitely generated perfect differential ideal J. Symb. Comput. 31 631 649
6. Buchberger, B.: A Criterion for Detecting Unnecessary Reductions in the Construction of Gröbner Bases. Lecture Notes in Computer Science, vol. 72, pp. 3-21. Springer, New York (1979)
7. Carra-Ferro, G.: Gröbner bases and differential ideals. In: Proceedings of AAECC 5, pp. 129-140, Springer, Menorca (1987)
8. Cox, D., Little, J., O'Shea, D.: Ideals, Varieties and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra. Undergraduate Texts in Mathematics. Springer, New York (1992)
9. Eisenbud, D.: Commutative Algebra with a View Toward Algebraic Geometry. Graduate Texts in Mathematics, vol. 150. Springer, New York (1995)
10. G. Gallo B. Mishra F. Ollivier 1991 Some constructions in rings of differential polynomials Lect. Notes Comput. Sci. 539 171 182
11. R. Gebauer H.M. Möller 1988 On an installation of Buchberger's algorithm J. Symb. Comput. 6 2-3 275 286
12. Hubert, é.: Étude Algébrique et algorithmique des Singularités des Équations Différentielles Implicites. PhD thesis, Institut National Polytechnique de Grenoble, France (1997)
13. e Série, vol. 3. Gauthier-Villars, Paris (1920)
14. Janet, M.: Leçons sur les Systèmes d'Équations aux Dérivées Partielles. Cahiers Scientifiques, vol. IV. Gauthier-Villars, Paris (1929)
15. M. Kalkbrener 1993 A generalized euclidean algorithm for computing triangular representations of algebraic varieties J. Symb. Comput. 15 143 167
16. Knuth D.E. (1966) The Art of Computer Programming, 2nd edn. Addison-Wesley, Reading
17. Kolchin E.R. (1973) Differential Algebra and Algebraic Groups. Academic Press, New York
18. Konig D. (1950) Theorie der Endlichen und Unendlichen Graphen. Chelsea, New York
19. D. Lazard 1992 Solving zero-dimensional algebraic systems J. Symb. Comput. 13 117 131
20. H. Levi 1945 The low power theorem for partial differential equations Ann. Math. Soc. 46 113 119
21. Maârouf, H.: Étude de Quelques Problèmes Effectifs en Algèbre Différentielle. PhD thesis, Université Cadi Ayyad, Morocco (1996)
22. Mansfield, E.L.: Differential Gröbner Bases. PhD thesis, University of Sydney, Australia (1991)
23. Moreno Maza, M.: Calculs de Pgcd au-dessus des Tours d'Extensions Simples et Résolution des Systèmes d'Équations Algébriques. PhD thesis, Université Paris VI, France (1997)
24. Morrison, S.: Yet another proof of Lazard's lemma. Private communication (1995)
25. ∞ J. Symb. Comput. 28 631 656
26. Ollivier, F.: Le Problème de l'Identifiabilité Structurelle Globale: Approche Théorique, Méthodes Effectives et Bornes de Complexité. PhD thesis, École Polytechnique, Palaiseau, France (1990)
27. Ollivier, F.: A proof of Lazard's lemma. Private communication (1998)
28. Olver, P.J.: Applications of Lie Groups to Differential Equations. Graduate Texts in Mathematics, vol. 107, 2nd edn. Springer, New York (1993)
29. Olver P.J. (1995) Equivalence, Invariants and Symmetry. Cambridge University Press, New York
30. Péladan-Germa, A.: Tests Effectifs de Nullité Dans des Extensions d'Anneaux Différentiels. PhD thesis, École Polytechnique, Palaiseau, France (1997)
31. G.J. Reid 1991 Algorithms for reducing a system of PDEs to standard form determining the dimension of its solution space and calculating its Taylor series solution Eur. J. Appl. Math. 2 293 318
32. G.J. Reid A.D. Wittkopf A. Boulton 1996 Reduction of systems of nonlinear partial differential equations to simplified involutive forms Eur. J. Appl. Math. 7 6 635 666
33. G.J. Reid P. Lin A.D. Wittkopf 2001 Differential elimination-completion algorithms for DAE and PDAE Stud. Appl. Math. 106 1 1 45
34. Riquier C. (1910) Les Systèmes d'Équations aux Dérivées Partielles. Gauthier-Villars, Paris
35. Ritt, J.F.: Differential Equations from the Algebraic Standpoint. American Mathematical Society Colloquium Publications, vol. 14. AMS, New York (1932)
36. Ritt, J.F.: Differential Algebra. Dover, New York (1950). http://www.ams.org/online-bks/coll33
37. A. Rosenfeld 1959 Specializations in differential algebra Trans. Am. Math. Soc. 90 394 407
38. Schicho, J., Li, Z.: A construction of radical ideals in polynomial algebra. Technical report, RISC, Johannes Kepler University, Linz, Austria, August (1995)
39. A. Seidenberg 1952 Some basic theorems in differential algebra(characteristic p arbitrary) Trans. Am. Math. Soc. 73 174 190
40. A. Seidenberg 1956 An elimination theory for differential algebra Univ. Calif. Publ. Math. (New Series) 3 31 65
41. A. Seidenberg 1958 Abstract differential algebra and the analytic case Proc. Am. Math. Soc. 9 159 164
42. A. Seidenberg 1969 Abstract differential algebra and the analytic case II Proc. Am. Math. Soc. 23 689 691
43. Waerden B.L. (1966) Algebra, 7th edn. Springer, Berlin
44. Wang, D.: An elimination method for differential polynomial systems I. Technical report, LIFIA-IMAG, Grenoble, France (1994)
45. W.W. Tsün 1989 On the foundation of algebraic differential geometry Mechanization Math. 3 2 27 (research preprints)
46. Zariski, O., Samuel, P.: Commutative Algebra. Van Nostrand, New York (1958). Also volumes 28 and 29 of the Graduate Texts in Mathematics. Springer, New York