Abstract:The Lie and Darboux methods to obtain Liouvillian first integrals of rational second order ordinary differential equations (rational 2ODEs) are very powerful. Nevertheless, there are cases where these procedures may encounter difficulties. Namely, when the Darboux polynomials present in the integrating factor of the 2ODE have a very high degree and/or when the 2ODE does not admit point symmetries. In [3] , [4] we developed a method (S-function method) that is successful in treating certain classes of rational second order ordinary differential equations that are particularly 'resistant' to canonical Lie methods and to Darbouxian approaches. However, although determining the S-function is in general much more efficient than determining Darboux polynomials or nonlocal symmetries, for very complicated rational 2ODEs, even finding the S-function itself can be quite hard. In this work we present a simple way of (in almost all cases) computing the S-function with a very efficient procedure. New version program summary Program Title: InSyDE – Invariants and Symmetries of (rational second order ordinary) Differential Equations. CPC Library link to program files: https://doi.org/10.17632/4ytft6zgk7.2 Licensing provisions: CC by NC 3.0 Programming language : Maple 17 Journal reference of previous version: Comput. Phys. Commun. 234 (2019) 302–314 Does the new version supersede the previous version?: Yes. Nature of problem: Determining Liouvillian first integrals of rational second order ordinary differential equations. Solution method: The method is explained in the body of the paper. Reasons for new version: The InSyDE package depends, in order to work, on determining the S-function. The problem is that, for very complicated 2ODEs, this can be very costly (computationally) or even unrealizable (within time and memory limits). We have developed a computationally cheaper way of determining the S-function that, in addition to being very efficient, is also surprisingly broad. Summary of revisions: We have, based on important new theoretical results presented on Appendix A: Supplementary Material, modified and improved the command Sfunction .

Finding nonlocal Lie symmetries algorithmically

A new use of nonlocal symmetries for computing Liouvillian first integrals of rational second order ordinary differential equations

Symmetries of nonlinear ordinary differential equations: the modified Emden equation as a case study

Symmetry preserving discretization of SL(2,R) invariant equations

Contributions to the Algorithmic Foundations of Approximate Lie Symmetry Algebras of Differential Equations

Symmetries of linear and nonlinear partial differential equations

Ordinary differential equations described by their Lie symmetry algebra

Generalization of non-Cartan Symmetries to arbitrary dimensions

Generalization of nonlocally related partial differential equation systems: unknown symmetric properties and analytical solutions

Nonlocal symmetries of evolution equations

An efficient way to determine Liouvillian first integrals of rational second order ordinary differential equations

Regularity, synthesis, rigidity and analytic classification for linear ordinary differential equations of second order

Applications of Symmetries to Nonlinear Partial Differential Equations

Lie remarkable partial differential equations characterized by Lie algebras of point symmetries

A Necessary Condition for existence of Lie Symmetries in Quasihomogeneous Systems of Ordinary Differential Equations

Approximate Lie symmetries and singular perturbation theory

On Exact and Approximate Symmetries of Algebraic and Ordinary Differential Equations with a Small Parameter

The natural extension to PDEs of Lie's reduction of order algorithm for ODEs

Admissible transformations and Lie symmetries of linear systems of second-order ordinary differential equations

From local isometries to global symmetries: Bridging Killing vectors and Lie algebras through induced vector fields

Generalized symmetry reduction of nonlinear differential equations