Algorithmic Lie Theory for Solving Ordinary Differential Equations
Serves as an introduction for solving differential equations using Lie's theory and related results. This book covers Loewy's theory, Janet bases, the theory of continuous groups of a 2-D manifold, Lie's symmetry analysis, and equivalence problems.