Algorithms and methods in differential algebra

Theoretical Computer Science

Volumn 157, Issue 1, 1996, Pages 115-127

  Ollagnier, Jean Moulin ^a,b  

^a UNIVERSITÉ PARIS EST CRÉTEIL   (France)

^b ECOLE POLYTECHNIQUE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL COMPLEXITY; DIFFERENTIAL EQUATIONS; INTEGRAL EQUATIONS; INTEGRATION; THEOREM PROVING; THREE DIMENSIONAL; VECTORS;

DARBOUX CURVES; DIFFERENTIAL ALGEBRA; LINEAR DIFFERENTIAL EQUATIONS; LIOUVILLE THEORY; RISCH THEOREM;

COMPUTATION THEORY;

EID: 0030576163     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(95)00179-4     Document Type: Article

References (26)

1. Bronstein, A unification of Liouvillian extensions, AAECC 1 (1990) 5-24.
2. M. Bronstein, On solutions of linear ordinary differential equations in their coefficient field, J. Symbolic Comput. 13 (1992) 413-439.
3. G. Darboux, Mémoire sur les équations différentielles algébriques du premier ordre et du premier degré, Bull. Sc. Math. 2éme série t. 2 (1878) 60-96, 123-144, 151-200.
4. J.H. Davenport, Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique, Ann. de l'Institut Fourier 34 (1984) 271-276.
5. 3: the Lotka - Volterra system, Physica A 163 (1990) 683-722.
6. P. Hendriks, M. Van der Put, A rationality result for Kovačic's algorithm, Proc. Internat. Symp. on Symbolic and Algebraic Computation 93 (ACM Press, New York, 1993).
7. J.-P. Jouanolou, Equations de Pfaff algébriques, Lecture Notes in Math. Vol. 708 (Springer, Berlin, 1979).
8. J.J. Kovačic, An algorithm for solving second order linear homogeneous differential equations, J. Symbolic Comput. 2 (1986) 3-43.
9. J. Moulin Ollagnier, Liouvillian first integrals of polynomial vector fields, Colloq. Math., to appear
10. J. Moulin Ollagnier, Andrzej Nowicki, Jean-Marie Strelcyn, On the non-existence of constants of derivations: the proof of a theorem of Jouanolou and its development, Bull. Sci. Math. 119 (1995) 195-233.
11. H. Poincaré, Sur l'intégration algébrique des équations différentielles, C. R. Acad. Sc. Paris 112 (1891) 761-764; reprinted in Œuvres, tome III, 32-34 (Gauthier-Villars, Paris, 1965).
12. H. Poincaré, Sur l'intégration algébrique des équations différentielles, C. R. Acad. Sc. Paris 112 (1891) 761-764; reprinted in Œuvres, tome III, 32-34 (Gauthier-Villars, Paris, 1965).
13. H. Poincaré, Sur l'intégration algébrique des équations différentielles du premier ordre et du premier degré, Rendic. Circ. Matem. Palermo 5 (1891) 161-191; reprinted in Œuvres, tome III, 35-58 (Gauthier-Villars, Paris, 1965).
14. H. Poincaré, Sur l'intégration algébrique des équations différentielles du premier ordre et du premier degré, Rendic. Circ. Matem. Palermo 5 (1891) 161-191; reprinted in Œuvres, tome III, 35-58 (Gauthier-Villars, Paris, 1965).
15. H. Poincaré, Sur l'intégration algébrique des équations différentielles du premier ordre et du premier degré, Rendic. Circ. Matem. Palermo 11 (1897) 193-239; reprinted in Œuvres, tome III, 59-94 (Gauthier-Villars, Paris, 1965).
16. H. Poincaré, Sur l'intégration algébrique des équations différentielles du premier ordre et du premier degré, Rendic. Circ. Matem. Palermo 11 (1897) 193-239; reprinted in Œuvres, tome III, 59-94 (Gauthier-Villars, Paris, 1965).
17. R.H. Risch, The problem of integration in finite terms, Trans. Amer. Math. Soc. 139 (1969) 167-189.
18. M. Rosenlicht, Liouville's theorem on functions with elementary integrals, Pacific J. Math. 24 (1968) 153-161.
19. J.F. Ritt, Integration in Finite Terms (Columbia Univ. Press, New York, 1948).
20. M.F. Singer, Liouvillian solutions of the nth order homogeneous linear differential equation, Amer. J. Math. 103 (1981) 661-682.
21. M.F. Singer, Liouvillian solutions of linear differential equations with Liouvillian coefficients, J. Symb. Comp. 11 (1991) 251-273.
22. M.F. Singer, Liouvillian first integrals of differential equations, Trans. Amer. Math. Soc. 333 (1992) 673-688.
23. M.F. Singer, F. Ulmer, Galois groups of second and third order linear differential equations, J. Symb. Comput. 16 (1993) 9-36.
24. M.F. Singer, F. Ulmer, Liouvillian and algebraic solutions of second and third order linear differential equations, J. Symb. Comput. 16 (1993) 37-73.
25. F. Ulmer, On Liouvillian solutions of linear differential equations, AAECC 2 (1992) 171-193.
26. F. Ulmer and J.-A. Weil, Note on Kovačic's algorithm, preprint IRMAR 94-13 (July 1994), to appear.