Can Maxima be used to simplify symbolic matrix algebra statements?





FYI: nset is now on the Maxima CVS; look for it at

http://cvs.sourceforge.net/cgibin/viewcvs.cgi/maxima/maxima
/share/contrib/nset/

It's also at the URL Stavros gave.

Barton