On the expressive power of query languages for matrices

Robert Brijder, Floris Geerts, Jan Van den Bussche +1

We investigate the expressive power of $\mathsf{MATLANG}$, a formal language for matrix manipulation based on common matrix operations and linear algebra. The language can be exten…