Computing closed form solutions of first order ODEs using the Prelle- Singer procedure
From MaRDI portal
Publication:1322770
DOI10.1006/jsco.1993.1057zbMath0793.34002OpenAlexW1995434986MaRDI QIDQ1322770
Publication date: 30 May 1994
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jsco.1993.1057
Symbolic computation and algebraic computation (68W30) Explicit solutions, first integrals of ordinary differential equations (34A05) Software, source code, etc. for problems pertaining to ordinary differential equations (34-04)
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, Pegasus: sound continuous invariant generation, Algebraic integrability of foliations of the plane, Möbius transformations on algebraic ODEs of order one and algebraic general solutions of the autonomous equivalence classes, A generalization of the \(S\)-function method applied to a Duffing-van der Pol forced oscillator, Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems, Symbolic computations of first integrals for polynomial vector fields, Computation of Darboux polynomials and rational first integrals with bounded degree in polynomial time, Non-wandering points of vector fields and invariant sets of functions, An efficient method for computing Liouvillian first integrals of planar polynomial vector fields, Integrating first-order differential equations with Liouvillian solutions via quadratures: a semi-algorithmic method, Determining Liouvillian first integrals for dynamical systems in the plane, Rational general solutions of planar rational systems of autonomous ODEs, First integrals for the damped Helmholtz oscillator, Solving Linear Boundary Value Problems Via Non-commutative Gröbner Bases, Applications of MetiTarski in the Verification of Control and Hybrid Systems, Approaches to solving nonlinear ODEs.
Uses Software
