Lie Algebras: Theory and Algorithms