I am wondering whether there is a symbolic software for solving systems of equations with symbolic matrices. I am used to working with MATHEMATICA but, as far as I know, functions Solve and LinearSolve are not conceived for such equations. I would be very pleased if somebody could recommend me an alternative.