A rational approach to the Prelle-Singer algorithm

DOI10.1006/JSCO.1997.0111MaRDI QIDQ1360962zbMATH OpenOpenAlexFDO

Authors Yiu-Kwong Man, Malcolm A. H. MacCallum

Publication date 3 October 1999

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jsco.1997.0111

zbMATH Keywords

first integralsdifferential systemREDUCEPrelle-Singer algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Linear ordinary differential equations and systems (34A30) Abstract differential equations (12H20)

Recommendations

• First integrals of autonomous systems of differential equations and the Prelle-Singer procedure
• An extension of the Prelle-Singer method and a Maple implementation
• Computing closed form solutions of first order ODEs using the Prelle- Singer procedure
• Finding elementary first integrals for rational second order ordinary differential equations

Cited in

(19)

• Symbolic computations of first integrals for polynomial vector fields
• Algebraic solutions of plane vector fields
• Efficient algorithms for computing rational first integrals and Darboux polynomials of planar polynomial vector fields
• On the Darboux integrability of polynomial differential systems
• Algebraic solutions of holomorphic foliations: an algorithmic approach
• First integrals of autonomous systems of differential equations and the Prelle-Singer procedure
• On integrals, Hamiltonian and metriplectic formulations of polynomial systems in 3D
• Bounding the degree of solutions of differential equations
• [QPSI]. A MAPLE package for the determination of quasi-polynomial symmetries and invariants
• An algebraic algorithm for the resolution of singularities of foliations
• On the differential simplicity of polynomial rings.
• Computation of Darboux polynomials and rational first integrals with bounded degree in polynomial time
• The Prelle-Singer method and Painlevé hierarchies
• Non-wandering points of vector fields and invariant sets of functions
• A family of foliations with one singularity
• A family of quadratic polynomial differential systems with invariant algebraic curves of arbitrarily high degree without rational first integrals
• An extension of the Prelle-Singer method and a Maple implementation
• On the classification of simple quadratic derivations over the affine plane
• An efficient method for computing Liouvillian first integrals of planar polynomial vector fields

Describes a project that uses

Uses Software

• REDUCE

This page was built for publication: A rational approach to the Prelle-Singer algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1360962)