Can Maxima be used to simplify symbolic matrix algebra statements?
Subject: Can Maxima be used to simplify symbolic matrix algebra statements?
From: Stavros Macrakis
Date: Tue, 19 Aug 2003 12:15:27 -0400
A while ago, I posted my dotsimp package and claimed it could (among
other things) "prove the Sherman-Morrison-Woodbury matrix inversion
identity". Alas, it could only 'prove' S-M-W because of a bug. Sorry
about that. But some future version may do it correctly....
-s