| The Ontario Research Centre for Computer Algebra
The UWO ORCCA Reading Room
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