A symbolic mathematics package aimed at Lie groups.
["LiE, a Package for Lie Group Computations", M.A.A. van Leeuwen et al, in Computer Algebra Nederland, 1992 (ISBN 90-741160-02-7)].