A rational approach to the Prelle-Singer algorithm

Journal of Symbolic Computation

Volumn 24, Issue 1, 1997, Pages 31-43

  Man, Yiu Kwong ^a   Maccallum, Malcolm A H ^b  

^a HKIEd ^*  (Hong Kong)

^b QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031185297     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1997.0111     Document Type: Article

References (25)

1. Albrecht, D., Mansfield, E., Milne, A. (1996). Algorithms for special integrals of ordinary differential equations. J. Phys. A, 29, 973-991.
2. Bronstein, M. (1990). A unification of Liouvillian extensions. Appl. Algebra Engrg., Comm. Comput., 1, 5-24.
3. Christopher, C. (1994). Invariant algebraic curves and conditions for a centre. Proc. Roy. Soc. Edinburgh Sect. A, 124, 1209-1229.
4. Codutti, M. (1992). NODES: non linear ordinary differential equations solver. In Wang, P. (ed.), ISSAC 92, pp. 69-79. New York, ACM Press.
5. Collins, C. (1993a). Algebraic conditions for a centre or a focus in homogeneous systems of arbitrary degree. Tech. Rep. Preprint. University of Waterloo.
6. Collins, C. (1993b). Algebraic invariant curves of polynomial vector fields in the plane. Tech. Rep. Preprint. University of Waterloo.
7. Darboux, G. (1878). Memoire sur les équations différentielles algébriques du premier ordre et du premier degré. Bull. des Sci. Math. (series 2), 2, 60-96; 123-144; 151-200.
8. Forsyth, A. (1900). Theory of differential equations, part II, vol. III. Cambridge, Cambridge University Press.
9. Hewitt, C. (1991). Algebraic invariant curves in cosmological dynamical systems and exact solutions. Gen. Relativity Gravitation, 23, 1363-1384.
10. Kamke, E. (1959). Differentialgleichungen: Lösungsmethoden und Lösungen. New York, Chelsea Publishing Co.
11. Kolchin, E. (1973). Differential algebra and algebraic groups. New York and London, Academic Press.
12. Lloyd, N., Pearson, J. (1993). Limit cycles and centres: an example. In Elworthy, K., Everitt, W., Lee, E. (eds.), Differential equations, dynamical systems and control science, pp. 143-158. New York, Marcel Dekker.
13. Man, Y.-K. (1993). Computing closed form solutions of first order ODEs using the Prelle-Singer procedure. J. Symbolic Comput., 16, 423-443.
14. Man, Y.-K. (1994). First integrals of autonomous systems of differential equations and the Prelle-Singer procedure. J. Phys. A, 27, L329-332.
15. Moritsugu, S., Goto, E. (1989). A note on the preconditioning for factorization of homogeneous polynomials. SIGSAM Bulletin, 23(1), 9-12.
16. Murphy, G. (1960). Ordinary differential equations and their solutions. Princeton, van Nostrand.
17. Prelle, M., Singer, M. (1983). Elementary first integrals of differential equations. Trans. Amer. Math. Soc., 279, 215.
18. Schlomiuk, D. (1993a). Algebraic particular integrals, integrability and the problem of the centre. Trans. Amer. Math. Soc., 338, 799-841.
19. Schlomiuk, D. (1993b). Elementary first integrals and algebraic invariant curves of differential equations. Expositiones Math., 11, 433-454.
20. Sit, W. (1975). Differential algebraic subgroups of SL(2) and strong normality in simple extensions. Amer. J. Math., 97(3), 627-698.
21. Sit, W. (1989). On Goldman's algorithm for solving first-order multinomial autonomous systems. In Mora, T. (ed.), AAECC-6: Applied algebra, algebraic algorithms and error-correcting codes, vol. 357 of Lecture Notes in Computer Science, pp. 386-395. Berlin, Springer-Verlag.
22. Ulmer, F., Weil, J. (1996). Note on Kovacic's algorithm. J. Symbolic Comput., 22, 179-200.
23. Weil, J.-A. (1995a). Constantes et polynomes de Darboux en algèbre différentialle: applications aux systèmes différentielles linéaires. Tech. Rep. Docteur en Sciences Thesis. École Polytechnique, Palaiseau.
24. Weil, J.-A. (1995b). First integrals and Darboux polynomials of homogeneous linear differential systems. In Cohen, G., Giusti, M., Mora, T. (eds.), AAECC-11: Applied algebra, algebraic algorithms and error-correcting codes, vol. 948 of Lecture Notes in Computer Science, pp. 469-484. Berlin, Springer-Verlag.
25. Ye, Y. (1995). Qualitative Theory of Polynomial Systems. Shanghai Scientific and Technical Publishers, Shanghai.