An extension of the Prelle-Singer method and a Maple implementation

DOI10.1016/S0010-4655(01)00462-3zbMath0994.65082OpenAlexW2019870274MaRDI QIDQ1348072

L. G. S. Duarte, S. E. S. Duarte, L. A. C. P. da Mota, James E. F. Skea

Publication date: 15 May 2002

Published in: Computer Physics Communications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0010-4655(01)00462-3

zbMATH Keywords

symbolic computationsoftware packagefirst-order ordinary differential equationLiouvillian and elementary functionsPrelle-Singer methodsemi-decision algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Geometric methods in ordinary differential equations (34A26) Nonlinear ordinary differential equations and systems (34A34) Numerical methods for initial value problems involving ordinary differential equations (65L05) Packaged methods for numerical algorithms (65Y15)

Related Items

An extension of the Prelle-Singer method and a Maple implementation, A Maple package to find first order differential invariants of 2ODEs via a Darboux approach, A semi-algorithm to find elementary first order invariants of rational second order ordinary differential equations, Discontinuous Galerkin \(h p\)-adaptive methods for multiscale chemical reactors: quiescent reactors, A generalization of the \(S\)-function method applied to a Duffing-van der Pol forced oscillator, Dealing with rational second order ordinary differential equations where both Darboux and Lie find it difficult: the \(S\)-function method, Computation of Darboux polynomials and rational first integrals with bounded degree in polynomial time, An efficient method for computing Liouvillian first integrals of planar polynomial vector fields, Determining Liouvillian first integrals for dynamical systems in the plane, An investigation of solving third-order nonlinear ordinary differential equation in complex domain by generalising Prelle-Singer method, Applications of MetiTarski in the Verification of Control and Hybrid Systems, Finding elementary first integrals for rational second order ordinary differential equations

Uses Software

• Maple
• ODEtools

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lifting canonical algorithms from a ring R to the ring R[x]
• Computer algebra solving of first order ODEs using symmetry methods
• Computer algebra solving second order ODEs using symmetry methods
• Computing closed form solutions of first order ODEs using the Prelle- Singer procedure
• An extension of the Prelle-Singer method and a Maple implementation
• Elementary First Integrals of Differential Equations
• Algebraic Properties of the Elementary Functions of Analysis
• Liouvillian First Integrals of Differential Equations
• The Problem of Integration in Finite Terms
• Symmetry-based algorithms to relate partial differential equations: I. Local symmetries