LiE
A language for symbolic mathematics aimed at problems in 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