我熟悉sympy，matlab符号包，减少，并尝试过其他一些计算机代数系统。但是，据我所知，它们似乎都不能在可变大小的矩阵上进行代数 - 它们只能用于固定大小的矩阵。
是否可以为可变大小的矩阵做代数？我知道会有相当多的严重情况，但我觉得有很大一部分是可行的，因为很简单/代数很容易用R ^ nxn中的矩阵手工完成。
可以在许多这些中使用非共同代数元素，因此涵盖了矩阵的加法和Hadamard乘积，这是有用的和开始。然而，它覆盖了实际使用矩阵的一小部分（例如，转置，反转，特征值分解，使用R ^ nxm中的矩阵等）。是否存在更多通用软件？