UWO ORCCA TR-08-01 Summary

• PDF version of TR-08-01

Abstract Matrix Arithmetic
Alan P. Sexton, Volker Sorge, Stephen M. Watt

Abstract: We present an approach to basic arithmetic between abstract matrices, i.e., matrices of symbolic dimension with underspecified components. We define a simple basis function that enables the representation of abstract matrices composed of arbitrary regions in a single term that supports matrix addition and multiplication by regular arithmetic on terms. This can, in particular, be exploited to obtain general arithmetic closure properties for classes of structured matrices. We also describe an approach using alternative basis functions that allow more compact expressions and admit additional arithmetic simplifications.

If you have any questions or comments regarding this page please send mail to tech-reports@orcca.on.ca.

About ORCCA	Members	Events & Seminars	ORCCA Home
Research Activities	Positions	Reading Room
Contact Info