A systematic algorithm for building integrating factors of the form mu(x,y), mu(x,y') or mu(y,y') for second order ODEs is presented. The algorithm can determine the existence and explicit form of the integrating factors themselves without solving any differential equations, except for a linear ODE in one subcase of the mu(x,y) problem. Examples of ODEs not having point symmetries are shown to be solvable using this algorithm. The scheme was implemented in Maple, in the framework of the "ODEtools" package and its ODE-solver. A comparison between this implementation and other computer algebra ODE-solvers in tackling non-linear examples from Kamke's book is shown.

A classification, according to invariant theory, of non-constant invariant Abel ODEs known as solvable and found in the literature is presented. A set of new integrable classes depending on one or no parameters, derived from the analysis of the works by Abel, Liouville and Appell, is also shown. Computer algebra routines were developed to solve ODEs members of these classes by solving their related equivalence problem. The resulting library permits a systematic solving of Abel type ODEs in the Maple symbolic computing environment.

A set of Maplev R.3 software routines, for plotting 2D/3D projections of Poincar\'e surfaces-of-section of Hamiltonian dynamical systems, is presented. The package consists of a plotting-command plus a set of facility-commands for a quick setup of the Hamilton equations of motion, initial conditions for numerical experiments, and for the zooming of plots.