There is this non-commutative algebra package for Mathematica that is quite extensive
[http://www.math.ucsd.edu/~ncalg/][1]


  [1]: http://www.math.ucsd.edu/~ncalg/