Despite the fact that Sophus Lie's theory was virtually the only systematic
method for solving nonlinear ordinary differential equations (ODEs), it was
rarely used for practical problems because of the massive amount of calculations
involved. But with the advent of computer algebra programs, it became possible
to apply Lie theory to concrete problems. Taking this approach, Algorithmic Lie
Theory for Solving Ordinary Differential Equations serves as a valuable
introduction for solving differential equations using Lie's theory and related
results.
After an introductory chapter, the book provides the mathematical foundation of
linear differential equations, covering Loewy's theory and Janet bases. The
following chapters present results from the theory of