私は sympy、matlab シンボリック パッケージ、reduce に精通しており、他のいくつかのコンピューター代数システムを試しました。ただし、私が知る限り、可変サイズの行列で代数を実行できるものはないようです。固定サイズの行列でのみ機能します。
可変サイズの行列に対して代数を実行できるものはありますか? かなりの数のケースがあることは理解していますが、R^nxn の行列を使って手で行うことができる多くの単純化/代数の容易さのために、実行可能な量がかなりあるように感じます。
これらの多くで非共有代数要素を扱うだけでよいので、足し算と行列を使ったアダマール積をカバーします。これは有用であり、出発点です。ただし、行列で実際に行うことのごく一部しかカバーしていません (たとえば、転置、逆行列、固有値分解、R^nxm での行列の使用など)。もっと一般的なソフトウェアはありますか？