Algorithmic lie theory for solving ordinary differential equations. (©2008)