I have two matrix expressions:
I want Mathematica to recognize that these expressions are equal. Is it possible to do that?
We can easily verify the assumption that your matrices are equal is wrong, e.g. let's take two
now we have
However a simple fact in linear algebra says that the former matrix is equal to the latter one transposed.
Now we can exploit new tensor capabilities in Mathematica 9, first
then we can use e.g.