MATLANG: Matrix operations and their expressive power

ACM SIGMOD Record, pp. 60-67, 2019.

Cited by: 0|Bibtex|Views17|Links
EI

Abstract:

We investigate the expressive power of MATLANG, a formal language for matrix manipulation based on common matrix operations and linear algebra. The language can be extended with the operation inv for inverting a matrix. In MATLANG + inv we can compute the transitive closure of directed graphs, whereas we show that this is not possible wit...More

Code:

Data:

Your rating :
0

 

Tags
Comments