Is it possible to do matrix algebra symbolically?

Asked Dec 07 '16 at 06:12

Active Dec 07 '16 at 08:50

Viewed 661 times

I'm reading a book that has the following theorem:

I am trying to make Mathematica perform these calculations for me. Is it possible to do it without having to declare the matrices? For example, I tried to write: Transpose[A.B]. I expected it to return $B^TA^T$ or something similar, but it actually doesn't do that. At least in a trivial way.

edited Dec 07 '16 at 08:50

m_goldberg

107,779
16
103
257

asked Dec 07 '16 at 06:12

Red Banana

5,329
2
29
47

3

It may be possible to carry out symbolic matrix algebra once you provide appropriate assumptions: see e.g. Matrices and, more generally, Symbolic Tensors. – MarcoB Dec 07 '16 at 06:35
3

Related: Can Mathematica do symbolic linear algebra?, Can I use symbolic tensors for simple linear algebra and calculus?, (19934), (118855). – MarcoB Dec 07 '16 at 06:45
1

Take a look at NCAlgebra and if you can do the above calculations with it, please post a self-answer. – Szabolcs Dec 07 '16 at 09:38

Is it possible to do matrix algebra symbolically?

0 Answers0