Abstract :
An algorithm is presented to determine the symmetry type of an explicit ordinary differential equation of order at least 2. From a Janet basis for the determining system, the Lie algebra of point symmetries can be obtained abstractly, as well as the isotropy subalgebra at the origin. This pair is the input of a decision procedure that determines whether the Lie algebra is transitive and, if so, outputs the associated entry on Lieʹs list of transitive Lie algebras.
