Here is a more recent / up-to-date entry in AFP http://afp.sourceforge.net/entries/Matrix.shtml
CeTA http://cl-informatik.uibk.ac.at/software/ceta/ is cited here as an application, so you may look there for examples how it is being used in practice.